Theory of computation

Pushdown automata

Pushdown automaton simulator: explore the configuration tree, watch the stack push and pop for aⁿbⁿ, wwᴿ and parentheses, and convert a CFG to a PDA.