TRABAJO COLABORATIVO

Alberto Garcia
Cod: 145153564

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

2017
Ejercicio 2:
Diseñe un AP que lea el siguiente lenguaje L ={(ab*) | (c*d*)} ; es decir todas las combinaciones
posibles de cadenas conformadas por los símbolos (a) (b*) o (c*)(d*) (con pila vacía).

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

Se define con la séptupla: 𝐴𝐹𝐷 = (Σ, 𝛤, 𝑄, 𝐴0 , 𝑞0 , 𝑓, 𝐹)

Σ = Alfabeto de entrad = {a, b, c, d}

𝛤= Alfabeto de la pila = {𝜆}
𝑄 = Conjunto finito de estados = {q0, q1, q2, q3}
𝐴0 = Símbolo inicial de la pila, 𝐴0 ∈ 𝛤 = {𝜆}
𝑞0 = Estado inicial, 𝑞0 ∈ 𝑄 = {q0}
𝑓 = Funcion de transición (terna: estado, símbolo de entrada o λ, símbolo de pila =
𝑓(𝑞0, 𝑎, 𝜆) = 𝑞1
𝑓( 𝑞0, 𝜆, 𝜆) = 𝑞2
𝑓(𝑞2, 𝑐, 𝜆) = 𝑞2
𝑓(𝑞2, 𝜆, 𝜆) = 𝑞3
𝑓(𝑞3, 𝑑, 𝜆) = 𝑞3

𝐹 = Estados finales F ⊆ 𝑄 𝑄 = {q1, q3}

2. Determine el lenguaje que reconoce el AP.

L = {(ab*) | (c*d*)}
3. Justifique y asocio o evidencie si el diseño es un APND o un APD:
Decimos que un autómata a pila es determinista si se verifica lo siguiente:
1. ∀ 𝑞 ∈ 𝑄, ∀ 𝐴 ∈ 𝛤:
𝑓(𝑞, 𝜆, 𝐴) ≠ 𝜙 ⇒ ∀𝑎 ∈ 𝛴: 𝑓(𝑞, 𝑎, 𝐴) = 𝜙
2. ∀ 𝑞 ∈ 𝑄, ∀ 𝐴 ∈ 𝛤, ∀ 𝑎 ∈ 𝛴 ∪ {𝜆}:
𝑓(𝑞, 𝑎, 𝐴) 𝐶𝑜𝑛𝑡𝑖𝑒𝑛𝑒 𝑐𝑜𝑚𝑜 𝑚𝑎𝑥𝑖𝑚𝑜 𝑢𝑛 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜

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).

Aquí se puede observar el estado inicial “q0”, carácter de la pila “z” y la cadena que falta
por leer.
Aquí se observa que se pasó al estado “q2” con transición vacía y sin afectar la pila.
 Aquí se observa cómo cambia al estado “q3” sin requerir carácter ni condición de pila.

En el estado “q3” inicia a consumir los caracteres sin cambio de estado.

Finalmente con cuando lee el carácter “d” pasa a estado de aceptación y la memoria de la pila no
fue afectada.
5. Plasme las imágenes del recorrido de ese Traceback para cada movimiento en el
documento.