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.
展开▼
机译：I. Guessarian（1983，Math。Systems Theory 16，237-263）的结果被推广到形式树系列。以下机制具有相同的功效：（i）代数树系统，（ii）下推树自动机，（iii）受限下推树自动机。
展开▼
