Disee un AP que dentro de su lenguaje L ={ (aUb) + (a|b)} ;es decir todas las

combinaciones posibles de cadenas conformadas por los smbolos (a) (b) o

conjunto universal de estrellas de kleene, (con pila vaca): exceptuando o
rechazando cadenas como:
Cadenas no vlidas.
Las que estn compuestas por uno o muchos smbolos a: ejemplo: {(a) (aa)
(aaa) (aaaa) (aaaaa) (aaaaaa)...}
En el diseo que haga es libre determinar si acepta la cadena vaca o no.
1. Describa el autmata en notacin matemtica.
Rta:
M =(Q, V , , ,q 0 , z 0 , F )

Nuestro Autmata

Q={q0 , q1 }

Conjunto de estados del autmata

V ={a , b }

Alfabeto utilizado en el autmata

={z 0 , 1, }

Alfabeto de la pila

q0

Estado inicial del autmata

F=q0

Estado final del autmata

={q0 , q1 }x {a , b }

Funcin de transicin del autmata

2. Determine el lenguaje que reconoce el AP.

Rta:
n
L={a b n>0 }
3. Justifique y asocio o evidencie si el diseo es un APND o un APD
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las
columnas para un AP son: El estado en que se encuentra el autmata, lo
que falta por leer de la palabra de entrada, y el contenido de la pila).
Rta:
estado
inicio
q1
q0
q0

por leer
abbbabb
ab
bbbabba
b
bbabbab
babbab

pila
1
-

q0
q1
q0
q0
q1

abbab
bbab
bab
ab
b

1
1
-

5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento
en el documento. (Se debe apoyar en JFLAP) (Documente el proceso)

En esta imagen se muestra el inicio del recorrido de la palabra ingresada, se

muestra que al leer la letra a automticamente pasa al estado q1 e ingresa un
elemento a la pila.

En esta imagen se muestra cuando al leer la letra b vuelve al estado q0 y la pila

vuelve a quedar vaca.

En esta imagen se muestra que en el estado q0 permanece al pasar a la segunda

b.

En esta imagen igual que en la anterior se mantiene en el estado q0 al leer la

tercera b consecutiva.

En esta imagen se confirma que al pasar a la siguiente letra a se vuelve a pasar

al estado q1 y la pila vuelve a ser modificada.

En esta imagen al leerse la siguiente b igualmente se devuelve al estado q0 y se

vuelve a vaciar la pila.

A esta imagen se vuelve a mostrar que al tomar el valor de la siguiente b se

mantiene en el estado q0.

En esta imagen al tomar nuevamente la letra a retorna al estado q1 y la pila

vuelve a variar.

Ya en esta imagen se muestra que al llegar a validar la ltima letra de nuestro

nuestra palabra ingresada se devuelve al estado q0 que es aceptador, la pila
vuelve a quedar vaca y se concluye que ha sido aceptada sin ningn problema
6. Muestre el diagrama correspondiente de estados.

7. Determine si su diseo acepta o no la cadena vaca y explique por qu en

cualquier caso, demostrando el recorrido o comportamiento de la Pila para ese
evento. (Evidencindolo).
Rta: El autmata desarrollado acepta la cadena vaca debido a que el estado
inicial es el mismo estado de aceptacin y a que la pila no sufre ningn cambio en
sus elementos, en la siguiente imagen se confirma dicha informacin: