UNIVERSIDAD NACIONAL MAYOR DE SAN

MARCOS
(Universidad del Perú, DECANA DE AMÉRICA)

FACULTAD DE INGENIERÍA DE
SISTEMAS E INFORMÁTICA

TAREA: “TAREA: AUTÓMATA DE PILA”

PROFESOR : Carlos A. Ruiz De La Cruz Melo

CURSO : Lenguajes y Compiladores
ALUMNOS :
HUALLPA CCAMASACARI, Roberto Carlos 11200080
LIZANO VILELA, Marden Diego 17200057
MEJÍA SUPO, Jeferson Armando 15200131
CONTRERAS VIDAL, Fransua Anthony 15200191
CICLO : 2019-2

Lima –Perú
Autómata de Pila
L = {aibjck | i, j>0 y k=i+j}
Solución:
Construimos el AP:

{ E, , p, , 0, P0, F }

E = { 0 }

 = { a, b, c }

p = { AZ, BA, BB, Z }

0  E: Estado inicial

Z  p: Estado inicial de la pila

F = { 5 }
Transiciones:

1.(0 , a, Z ; 1 , AZ )
2.(1 , a, A ; 1 , AA )
3.(1 , b, A ; 2 , BA )
4.(2 , b, B ; 2 , BB )
5.(2 , c, B ; 3 ,  )
6.(3 , c, B ; 3 ,  )
7.(3 , c, A ; 4 ,  )
8.(4 , c, A ; 4 ,  )
9.(4 , , Z ; 5, Z )
Ejemplo de Entrada = abbccc

PILA ENTRADA TRANSICIÓN

1. Z abbccc (0 , a, Z ; 1 , AZ )
2. ZA bbccc (1 , b, A ; 2 , BA )
3. ZAB bccc (2 , b, B ; 2 , BB )
4. ZABB ccc (2 , c, B ; 3 ,  )
5. ZAB cc (3 , c, B ; 3 ,  )
6. ZA c (3 , c, A ; 4 ,  )
7. Z  (4 , , Z ; 5, Z )
8.  