Date: Wed, 08 Jan 1997 20:51:16 GMT Server: NCSA/1.4.2 Content-type: text/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: