Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series

The results of I. Guessarian (1983, Math. Systems Theory 16, 237–263) are generalized to formal tree series. The following mechanisms are of equal power: (i) algebraic tree systems, (ii) pushdown tree automata, (iii) restricted pushdown tree automata.

Authors

• Werner Kuich

Keywords

No keywords are indexed for this paper.