Regular tree languages and quasi orders

Regular languages were characterized as sets closed with respect to monotone well-quasi orders. A similar result is proved here for tree languages. Moreover, families of quasi orders that correspond to positive varieties of tree languages and varieties of finite ordered algebras are characterized.

Elmentve itt :
Bibliográfiai részletek
Szerző: Petković Tatjana
Testületi szerző: International Conference on Automata and Formal Languages (11.) (2005) (Dobogókő)
Dokumentumtípus: Cikk
Megjelent: 2006
Sorozat:Acta cybernetica 17 No. 4
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12797
LEADER 01130nab a2200229 i 4500
001 acta12797
005 20220616100344.0
008 161015s2006 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Petković Tatjana 
245 1 0 |a Regular tree languages and quasi orders  |h [elektronikus dokumentum] /  |c  Petković Tatjana 
260 |c 2006 
300 |a 811-823 
490 0 |a Acta cybernetica  |v 17 No. 4 
520 3 |a Regular languages were characterized as sets closed with respect to monotone well-quasi orders. A similar result is proved here for tree languages. Moreover, families of quasi orders that correspond to positive varieties of tree languages and varieties of finite ordered algebras are characterized. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
710 |a International Conference on Automata and Formal Languages (11.) (2005) (Dobogókő) 
856 4 0 |u http://acta.bibl.u-szeged.hu/12797/1/Petkovic_2006_ActaCybernetica.pdf  |z Dokumentum-elérés