An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA

Arjun Bhardwaj, N. S. Narayanaswamy

We present here the proof for an alternative procedure to convert a Push Down Automata (PDA) into a Context Free Grammar (CFG). The procedure involves intermediate conversion to a…