×

zbMATH — the first resource for mathematics

Deciding equivalence of finite tree automata. (English) Zbl 0699.68075

MSC:
68Q25 Analysis of algorithms and problem complexity
68Q45 Formal languages and automata
68Q70 Algebraic theory of languages and automata
20M35 Semigroups in automata theory, linguistics, etc.
PDF BibTeX XML Cite
Full Text: DOI