The Boolean closure of DR-recognizable tree languages

Jurvanen Eija: The Boolean closure of DR-recognizable tree languages. In: Acta cybernetica, (10) 4. pp. 255-272. (1992)

[thumbnail of cybernetica_010_numb_004_255-272.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_010_numb_004_255-272.pdf

Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

The family DRec of tree languages recognized by deterministic root-tofrontier (top-down) tree automata is not closed under unions or complements. Hence, it is not a variety of tree languages in the sense of Steinby. However, we show that the Boolean closure of DRec is a variety which is properly included in the variety Rec of all recognizable tree languages. This Boolean closure is also compared with some other tree language varieties.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1992
Kötet: 10
Szám: 4
ISSN: 0324-721X
Oldalak: pp. 255-272
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38495/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 271-272. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:26
Utolsó módosítás: 2022. jún. 13. 09:53
URI: http://acta.bibl.u-szeged.hu/id/eprint/12511
Bővebben:
Tétel nézet Tétel nézet