On DR tree automata, unary algebras and syntactic path monoids
We consider deterministic root-to-frontier (DR) tree recognizers and the tree languages recognized by them from an algebraic point of view. We make use of a correspondence between DR algebras and unary algebras shown by Z. Esik (1986). We also study a question raised by F. Gécseg (2007) that concern...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 1 |
| Kulcsszavak: | Algebrai struktúra, Matematikai nyelvészet - számítógépes nyelvészet, Automaták elmélete |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.23.1.2017.10 |
| Online Access: | http://acta.bibl.u-szeged.hu/50068 |
| LEADER | 01555nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta50068 | ||
| 005 | 20220620153741.0 | ||
| 008 | 180212s2017 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.23.1.2017.10 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Steinby Magnus | |
| 245 | 1 | 3 | |a On DR tree automata, unary algebras and syntactic path monoids |h [elektronikus dokumentum] / |c Steinby Magnus |
| 260 | |c 2017 | ||
| 300 | |a 159-174 | ||
| 490 | 0 | |a Acta cybernetica |v 23 No. 1 | |
| 520 | 3 | |a We consider deterministic root-to-frontier (DR) tree recognizers and the tree languages recognized by them from an algebraic point of view. We make use of a correspondence between DR algebras and unary algebras shown by Z. Esik (1986). We also study a question raised by F. Gécseg (2007) that concerns the definability of families of DR-recognizable tree languages by syntactic path monoids. We show how the families of DR-recognizable tree languages path-definable by a variety of finite monoids (or semigroups) can be derived from varieties of string languages. In particular, the three pathdefinable families of Gécseg and B. Imreh (2002, 2004) are obtained this way. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Algebrai struktúra, Matematikai nyelvészet - számítógépes nyelvészet, Automaták elmélete | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/50068/1/actacyb_23_1_2017_10.pdf |z Dokumentum-elérés |