Regular Tree Algebras
Formal Languages and Automata Theory
2023-06-22 v4
Abstract
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.
Keywords
Cite
@article{arxiv.1808.03559,
title = {Regular Tree Algebras},
author = {Achim Blumensath},
journal= {arXiv preprint arXiv:1808.03559},
year = {2023}
}