You are on page 1of 8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

AUTÓMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 2

PRESENTADO POR
JUAN DAVID SANTANA MEJIA
KELVIN ABDALA LAMBRAÑO

GRUPO
301405_62

PRESENTADO A
ANGELA MARIA GONZALEZ
.

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
22 OCTUBRE 2016

q 1 . 1. (Antes de minimizar) 0 1 q0 q2 q1 q1 q5 q3 q2 q4 ----q3 q9 q6 q4 q7 q9 q5 q9 q2 q6 q8 q9 q7 q9 -----q8 -----. q 3 .q7 . Σ= (Sigma) Es el alfabeto de entrada s = Al estado inicial del autómata δ= (sigma) Denota una función F=Estado final del autómata K= {q 0 . (No es la que generas VAS). s. Plasme la tabla de transición del autómata. q8 } 2. δ. (Antes de minimizar) Autómata de tipo quíntuple compuesto por los siguientes elementos:  M = (K. q6 . q5 . Σ. q 2 . q 8 .1 } s= {q 0 } F= { q 3 . Realice la descripción (notación) (caracterización) matemática del autómata. q7 . q 4 .      K= Es el conjunto de estados que posee el autómata. F) donde. q 4 .PARTE 1: HALLAR EL AUTÓMATA MÍNIMO CORRESPONDIENTE al autómata finito que representa la siguiente expresión regular Expresión regular. q 9 } Σ= { 0.

q3 ) =11 R2=( q0 .q9 ------ ----- 3.1 } ∨w=1010+1110+00+11 } 4. q8 ) por q1 . para identificar cada ruta las nombraremos R1=( q0 . q2 =1010 ER= R 1 + R2 + R3 + R4  ER= 11+00+1110+1010 5. q 4 Estados finales Rn . q4 )=00 R3=( q0 .q 5. Identifique El Lenguaje que reconoce. (Antes de minimizar) Para identificar la ER se analizan las rutas desde el estado inicial los estados finales q3 . q5 . q 8 . verifique una cadena válida y una no válida. (Antes de minimizar) ¿ w={ω ∈ { 0. Identifique la ER y en una tabla de validación (puede ser de Excel). q6=11 10 R4 =( q 0 . Identifique los estados Distinguibles y los No distinguibles Minimización del Autómata utilizando el método de conjuntos: Conjuntos Iníciales: x q 0 hasta cada uno de q3 . Tenga en cuenta la jerarquía de operadores. q 4 ) por q1 .

Identifique los estados equivalentes (para ello muestre cómo evalúa esas equivalencias.. Conjunto x q3 0 y 1 y q4 y y q8 y 0 Nuevos conjuntos A q3 . Estados no finales q7 . q2 . q 6 . q5 D q1 . colocando a los estados candidatos de equivalencia como estados iniciales). 1} 6. q 9 Σ = {0. q1 . Evidencie el proceso de cómo los evalúa. q5 . q 4 q8 B Conjunto y q0 0 y 1 y q1 y x q2 x 0 q5 y y q6 x y q7 y 0 q9 0 0 Nuevos conjuntos C q0 . y q8 q0 .

q4 } A= B= {q 8 } C= { q 9. q9 } {q 1 } { q 0 . q9 } {q 7 } { q 2 . q5 } D= {q 1 } {q 5 } {q 3 } E= {q 2 } {q 4 } -------- {q 6 } {q 8 } {q 9 } F= G= {q 7 } {q 9 } --------- H= {q 9 } -------- -------- 0 1 .E q2 F q6 G q7 H q9 Nuevos conjuntos x q3 y q0 z q1 w q2 m q6 n q7 s q9 r q8 t q4 p q5 Creamos la tabla de transición 0 { q 3. q7 } -------- 1 {q 6.

g.1} es el alfabeto de entrada δ = es la función de transición. F) K = { a. identifique que transiciones se eliminan y cuáles se re direccionan. q7 } 7. en nuestro caso (c) “F” es un conjunto de estados finales. En el proceso de eliminación de estados. Muestre la tabla de estados distinguibles #A #B  C D E F G H 0 G ---------E C A B H -------- 1 F G D A --------H --------------- 8. δ.b. Σ.h } estados del autómata Σ = {0.c.b) . que a partir de un estado y un símbolo del alfabeto obtiene un nuevo estado. Realice la descripción (notación) (caracterización) matemática del autómata ya minimizado M = (K.d. q9 } {q 4 } -------- =E {q 9. en nuestro caso (a.e.{q 9 } --------- =G { q 6. q9 } {q 8 } {q 9 } =F { q 2 . s. 9. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de moore 9.f. “s” es el estado inicial.

1}*| A={.El lenguaje que reconoce será el de las cadenas especificas 1010+1110+00+11 } 11. Debe incluir el diagrama de estados con los componentes de la gramática asociados a las variables y a las constantes. . (autómata ya minimizado) 00+11+0010+1110 12. Identifique la ER del autómata ya minimizado y en una tabla de validación (puede ser de Excel). Identifique El Lenguaje que reconoce. Tenga en cuenta la jerarquía de operadores. (Autómata minimizado) Identifique su gramática (de forma manual) por la derecha y caracterícela. verifique una cadena válida y una no válida.10. (autómata ya minimizado) L= {A ϵ{0.

Justifique y demuestre su respuesta 14. Realice la gramática por la izquierda (de forma manual) y compare si esta gramática acepta o no el mismo lenguaje (cadenas).13. . genere un árbol de derivación para la gramática por la derecha y demuestre y justifique si la cadena y árbol generado puede ser ambigua o no.Con una cadena válida.