Embedded pushdown automata