Embedded pushdown automaton
 
x
OK