Pushdown tree automata

@article{Guessarian1983PushdownTA,
  title={Pushdown tree automata},
  author={Ir{\`e}ne Guessarian},
  journal={Mathematical systems theory},
  year={1983},
  volume={16},
  pages={237-263}
}
We define topdown pushdown tree automata (PDTA's) which extend the usual string pushdown automata by allowing trees instead of strings in both the input and the stack. We prove that PDTA's recognize the class of context-free tree languages. (Quasi)realtime and deterministic PDTA's accept the classes of Greibach and deterministic tree languages, respectively. Finally, PDTA's are shown to be equivalent to restricted PDTA's, whose stack is linear: this both yields a more operational way of… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS