Definir el AP correspondiente a:

G2 = (∑T, ∑N, S, P)

∑T = {a, b, c, d}

∑N = {S, A, B}

P = {S aAaA bB | cB Acd}

1. Crear los estados i, p, q y f; donde i es el estado inicial y f es el estado de aceptación

2. Agregar la transición (i, , / p, #)

3. Agregar una transición (p, , / q, S) donde S es el símbolo inicial de G2

4. Agregar una transición (q, ,N / q,w) para cada regla de reescritura Nw en G2

5. Agregar una transición (q, x, x / q, ) para cada terminal x de G2

6. Agregar la transición (q, , # / f, )

Comportamiento del AP

S aAaA bB | cB Acd

i p q fλ, λ / # λ, λ / S λ, # / λ

λ, B / Acdλ, A / bBλ, A / cλ, S / aAa

b, b /λc, c /λa, a /λd, d /λ

#

a b c c d a

S

a

A

a

A

a

b

B

a

B

a

A

c

d

a

c

c

d

a

c

d

a

d

aa