Source: wikibot/pushdown-automaton

= Pushdown automaton
{wiki=Pushdown_automaton}