Deterministic pushdown automaton
 
x
OK