Nested word
Deterministic pushdown automaton
Pushdown automaton
Connection
Complementation of Büchi automaton
Automata theory
Theoretical computer science
Computer science