Test your context-free grammars (CFGs), nondeterministic pushdown automata (NPDAs) and Turing machines (TMs) against example inputs