Fase 2

Unidad 2 – Lenguajes Regulares

Presentado por:

Sthevan Kamilo Naranjo Lopez

Codigo: 1085265857

Presentado a:

Edgar Antoni Cortes

Tutor

Universidad Nacional Abierta y a Distancia (UNAD)

CEAD Pasto

2018
Ejercicio 2:

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

(con pila vacía).
Para la creación del autómata se crea restricciones para los valores que
se puedan toman en las variables, para este caso se definió lo siguiente

N M Cadena
1 1 01
2 2 0011
1 2 011
2 3 00111

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

K={𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }
Σ = (0,1)

Γ = (a, 𝑍0 )

S ϵ K = 𝑞0
𝑍0 ϵ Γ = Z
F c K = 𝑞3
Transiciones.
Item Inicio Fin
1 (𝑞0 , 𝜆, 𝜆) (𝑞1 , 𝑍0 )
2 (𝑞0 , 𝜆, 𝜆) (𝑞4 , 𝑍0 )
3 (𝑞1 , 0, 𝑍0 ) (𝑞1 , 𝑎𝑍0 )
4 (𝑞1 , 1, 𝑎𝑍0 ) (𝑞2 , 𝑍0 )
5 (𝑞2 , 1, 𝑎𝑍0 ) (𝑞2 , 𝑍0 )
6 (𝑞2 , 𝜆, 𝑍0 ) (𝑞2 , 𝜆)
7 (𝑞4 , 0, 𝑍0 ) (𝑞4 , 𝑎𝑍0 )
8 (𝑞4 , 1, 𝑎𝑍0 ) (𝑞5 , 𝑍0 )
9 (𝑞5 , 1, 𝑎𝑍0 ) (𝑞5 , 𝑍0 )
10 (𝑞5 , 1, 𝜆) (𝑞4 , 𝑍0 )
11 (𝑞5 , 𝜆, 𝜆) (𝑞3 , 𝜆)

2. Determine el lenguaje que reconoce el AP.

El lenguaje que se reconoce para el AP es el de vaciado por pila, ya la

comprobación para la aceptación es el reconocimiento de la pila como
vacía.

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

El AP es un APND, porque es posible al terminar de procesar la cadena,
varios estados estén activos, por la falta de determinación y restricción
que se tenga, además de que se debe llegar a un estado final con pila
vacía, para que sea aceptado.
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).

 Traceback para la cadena 01.

 Traceback para la cadena 0011
 Traceback para la cadena 011
 Traceback para la cadena 000111
 Representación de la tabla con el estado de aceptación de las
cadenas.
5. Plasme las imágenes del recorrido de ese Traceback para cada
movimiento en el documento. (Se debe apoyar en JFLAP) (Documente
el proceso).
Se toma como ejemplo de recorrido la primera cadena 01