Embedded pushdown automaton