zbMath0662.68080MaRDI QIDQ3813317
Kai Salomaa
Publication date: 1988
zbMATH Keywords
tree automata; alternation; pushdown; bottom-up
Mathematics Subject Classification ID
68Q45: Formal languages and automata