Title: Alternating tree pushdown automata
Subjects: Machine theory, Robots, Turing machines