Source: wikibot/embedded-pushdown-automaton

= Embedded pushdown automaton
{wiki=Embedded_pushdown_automaton}