Context-Free Grammar to Pushdown Automaton Conversion We will be proving the following theorem: $$ test $$