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 |
| Tartalmi kivonat: | 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 159-174 |
| ISSN: | 0324-721X |