http://www.cs.washington.edu/education/courses/322/96w/handout2/handout2.html
Let . Assume all the productions in P, not of the form
, are numbered 1 to m.
The PDA will accept
the language generated by G. We need to specify Q and
.
The function consists of the following rules: