On domain and range tree languages of superlinear deterministic top-down tree transformations

Dányi Gábor: On domain and range tree languages of superlinear deterministic top-down tree transformations. In: Acta cybernetica, (12) 3. pp. 261-277. (1996)

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

Letöltés (914kB) | Előnézet

Absztrakt (kivonat)

Denote by sl-DT the class of superlinear deterministic top-down tree transformations, by REC the class of recognizable tree languages, and by DREC the class of deterministic recognizable tree languages. In this paper we present the following results. The class dom (sl-DT ) is exactly the class of tree languages recognized by semi-universal deterministic top-down tree recognizers, which are introduced in this paper. Moreover, for any L € DREC, it is decidable whether L £ don i(sl-DT ) holds and we also present a decision procedure. Finally, we show that ra,nge(sl-DT) = REC.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1996
Kötet: 12
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 261-277
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38501/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 276-277. ; ö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. 14:23
URI: http://acta.bibl.u-szeged.hu/id/eprint/12560
Bővebben:
Tétel nézet Tétel nézet