Diseñe un AP que lea el siguiente lenguaje L = {(0n1m: n>0, m>0}

(con pila vacía).

1. Describa el autómata en notación matemática

La formalización de un autómata de pila es un séptuplo (K, ∑,,Δ, s, F) en donde:

K = {q0, q1, q2} es el conjunto de estados

∑ = {0,1} es el alfabeto de entrada

 = {z0, a,b} es el alfabeto de la pila

S ϵ K = = {q0} es el estado inicial

Z0 ϵ  es el símbolo inicial de la pila (o también se denota como Z simplemente)

F  K = {q2} es un conjunto de estados finales.

∆  (K x ∑* x *) x (K x  *) es la relación (función) de transición.

2. Determine el lenguaje que reconoce el AP.

L= {ω  {0, 1} | {ab} nm}

La forma matemática del lenguaje del autómata:

L= {0,1} nm │ n > 0, m > 0}

3. Justifique y asocio o evidencie si el diseño es un APND o un APD

4. Grafíquelo en JFLAP y realice el “Traceback” para las transiciones.
(Las columnas para un AP son: El estado en que se encuentra el
autómata, lo que falta por leer de la palabra de entrada, y el contenido
de la pila).
5. Plasme las imágenes del recorrido de ese Traceback para cada
movimiento en el documento. (Se debe apoyar en JFLAP) (Documente el
proceso).