AUTOMATAS Y LENGUAJES FORMALES

MOMENTO II

FERNANDO GUERRA ARIAS

VIANNEY FAVIAN MARIO JULIO
ALEXANDER CANTILLO MENDOZA

PRESENTADO A:
ANGELA MARIA GONZALEZ
TUTOR DEL CURSO

GRUPO: 301405_40

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

OCTUBRE DEL 2015

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de

minimizar)
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4, q5, q6, q7, q8}, identifica el conjunto de estados del autmata
= {0,1}, es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo del alfabeto obtiene
un nuevo estado X{1, 0} {q0, q1, q2, q3, q4, q5, q6, q7, q8}
s es el estado inicial, en nuestro caso q0
F es un conjunto de estados finales, en nuestro caso q3, q5, q8
Es un AFD porque es una funcin, esto implica que para un estado y un smbolo del
alfabeto dados, habr un y solo un estado siguiente.
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)

#
#

F
q0
q1
q2
q3
q4
q5
q6
q7
q8

0
q2
q4
q3
q2
q6
q7
q4
q8
q7

1
q1
q5
q4
q6
q7
q1
q8
q4
q6

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas que
empiezan por 0 o por 1 y que terminan en 0 o 1, seguidos de una combinacin
de uno o varios 0 o 1. bajo ciertas condiciones (propiedades) que resultan complejas
(ER), por eso es que se reduce o minimiza el autmata.
4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una cadena
vlida y una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes de minimizar)

00(00)*+11(11)*+((00(00)*1+(10+01+00(00)*01)0+11(11)*100)(00)*1+((10+01+00(
00)*01)1+11(11)*(0+101)+(00(00)*1+(10+01+00(00)*01)0+11(11)*100)(00)*01)(11
+10(00)*01)*(0+10(00)*1))(1(00)*1+(0+1(00)*01)(11+10(00)*01)*(0+10(00)*1))*

5. Identifique los estados Distinguibles y los No distinguibles.

Se asocian los posibles caminos desde el estado inicial a cada uno de los estados
finales as:
Estado inicial: q0 y los estados finales son:{3, 5}
Camino 1: 0, 2, 4, 6, 3
Camino 2: 0, 2, 3
Camino 3: 0, 2, 4, 7, 5
Camino 4: 0, 1, 5, 6, 3
Camino 5: 0, 1, 4, 7, 5
Camino 6: 0, 1, 5, 6, 3
Camino 7: 0, 2, 3, 7, 2
Camino 8: 0, 1, 5
La expresin regular del autmata sera la siguiente:
(01(1+1)0+0(0+0)+01(1+0)1+10(1+1)0+10(0+0)1+1(1+1)00+0(0+0)11+1(1+1))

PARTE 2: DISEE UN AP QUE DENTRO DE SU LENGUAJE = {} ES DECIR

TODAS LAS COMBINACIONES DE CADENAS CONFORMADAS POR LOS
SMBOLOS , O UN CONJUNTO UNIVERSAL DE ESTRELLAS DE KLEENE, (CON
PILA VACA): EXCEPTUANDO O RECHAZANDO CADENAS COMO:
CADENAS NO VALIDAS
LAS QUE ESTN COMPUESTAS POR UNO O MUCHOS SMBOLOS
"": : {, , , , , , , }
EN EL DISEO QUE HAGA ES LIBRE DETERMINAR SI ACEPTA LA CADENA
VACA O NO.
1. Describa el autmata en notacin matemtica.
(, , )( ) :
= {0, 1, 2}
= {, }
= {, 1, 0}
= {0}

= {2}

Estado actual del autmata.

Subcadena de entrada que an no se ha analizado.
Contenido actual de la pila.
Estado inicial.
Smbolo inicial pila.
Estado final.

2. Determine el lenguaje que reconoce el AP.

= { {0,1} | = Para todas las cadenas que empiezan por a o b; seguidos de una o
muchas cadenas conformadas por a y b, exceptuando las cadenas consecutivas de b}

3. Justifique y asocie o evidencie si el diseo es un APND o APD.

El autmata es un APND ya que dado un estado, un smbolo del alfabeto de entrada y otro
del alfabeto de la pila, puede pasar a distintos estados y reemplazar el tope con distintas
cadenas, avanzando o no la cabeza lectora una posicin.
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas
para AP son: el estado en el que se encuentra el autmata, lo que falta por leer de la
palabra de entrada y el contenido de la pila).

Cadena:

Cadena:

Cadena:

Cadena:

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

Cadena:

Cadena:

6. Muestre el diagrama correspondiente de estados.

Cadena:

7. Determine si su diseo acepta o no la cadena vaca y explique porque en cualquier

caso, demostrando el recorrido o comportamiento de la pila para ese evento.
(evidencindolo).
El Autmata acepta la cadena vaca:

Debido a la transicin aplicada entre los estados 0 y 2 con una transicin en con el
carcter vaco, ya que en las exclusiones que se hacen referentes al lenguaje no se excluye
el carcter vaco.