Definir el AP correspondiente a:

G2 = (T, N, S,
P)
1.
T = {a, b, c, d}
N = {S, A, B} 2.
P={
S aAa
A bB | c
B Acd
}

Crear los estados i, p, q y f; donde i es el

estado inicial y f es el estado de
aceptacin
Agregar la transicin (i, , / p, #)

3.

Agregar una transicin (p, , / q, S)

donde S es el smbolo inicial de G2

4.

Agregar una transicin (q, ,N / q,w) para

cada regla de reescritura Nw en G2

5.

Agregar una transicin (q, x, x / q, ) para

cada terminal x de G2

6.

Agregar la transicin (q, , # / f, )

Comportamiento del AP
S aAa
A bB | c
B Acd

, / #

, / S

, B /
Acd
, A /
bB
, A / c
, S / , # /
q
aAa
b,
b /
c,
c /
a,

c
A
b
c
a
f

d
B
A
A
a
a
a
S
#