Informace o publikaci
Regular Tree Algebras
| Autoři | |
|---|---|
| Rok publikování | 2020 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Logical Methods in Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | journal web page |
| Doi | http://dx.doi.org/10.23638/LMCS-16(1:16)2020 |
| Klíčová slova | infinite trees; tree algebras; regular languages; monads |
| Přiložené soubory | |
| Popis | We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras. Finally, we give a more algebraic characterisation of the algebras in our class. |
| Související projekty: |