Special:EditPage/Pushdown automaton