On DR Tree Automata, Unary Algebras and Syntactic Path Monoids.
Acta Cybern.(2017)
摘要
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. Gecseg (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 path definable families of Gecseg and B. Imreh (2002, 2004) are obtained this way.
更多查看译文
关键词
deterministic root-to-frontier tree automaton,tree language,unary algebra,syntactic path monoid,variety of finite monoids,variety of languages
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要