Para simular un AP con una gramática es necesario generar transformar las transiciones con forma \(a,A/\alpha\) en la siguiente forma \(A \rightarrow a\alpha \) .

Casos dado el tipo de transición #

1. Si la transición es un push la forma de la regla queda:
   • \( Z_0 \rightarrow aAZ_0 \)
   • \( A \rightarrow aAA \)
2. Si la transición es un pop la forma de la regla queda:
   • \( A \rightarrow a \)
3. Si la transición que no modifica la pila la forma de la regla queda:
   • \( Z_0 \rightarrow mZ_0 \)
   • \( A \rightarrow mA \)
4. Si es la transición de término del AP la forma de la regla queda:
   • \( Z_0 \rightarrow \varepsilon \)

Ejemplo #

La gramática que lo simula luce: \[\begin{array}{ll} Z_0\rightarrow & aAZ_0\\ Z_0\rightarrow &bBZ_0\\ A\rightarrow &aAA\\ B\rightarrow &aAB\\ A\rightarrow &bBA\\ B\rightarrow &bBB\\ Z_0\rightarrow &mZ_0\\ A\rightarrow &mA\\ B\rightarrow &mB\\ A\rightarrow &a\\ B\rightarrow &b\\ Z_0\rightarrow &\epsilon \end{array} \]