EJERCICIO 1

La expresin regular es 00+(1+01)+(0)*+1

EJERCICIO 2

Vamos a usar el lema de arden

x=rs
q 0=1 q1
q1 =1q 1 +1q 2
q 2=0 q0 +
Resolvemos

q 2=0
Entonces

q 2=0

Ahora usamos el lema de arden nuevamente

q1 =1q 1 +1q 2
q1 =11 q2
Como ya tenemos el valor de

q 2 procedemos a reemplazarlo en q1
q1 =11(0)

Y por ltimo se reemplaza

q1 en q 2

q 0=1 q1
q 0=( 11 )( 10 )
La expresin regular es (11)*(10)

2. PARA LA EXPRESION REGULAR:

Propiedades

c a +b b ab( a+b+ c c b)

Escriba aqu la ecuacin.

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:

1. Describa la forma matemtica del autmata,

2. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o AFND) y justifique su
respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo asociando la respuesta al
diseo del autmata)
3. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del ejercicio
propuesto). Debe explicar y describir cada elemento y la funcin y significado en el autmata. Conceptos
y definiciones adicionales.
4. Identifique el lenguaje que genera.

5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia. (No
se trata solo de captura las imgenes, estas deben ser explicadas en pi de pgina o de lo contrario no
tienen validez)
6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes y tres
diferencias que encuentra al realizarlo en los dos simuladores. (herramientas que ofrezca uno u otro).
7. Genere tres cadenas vlidas y dos no vlidas.

3. Teniendo en cuenta el siguiente autmata identifique si es AFD o AFND, Si es un AFD genere un

AFND que reconozca el mismo lenguaje; o por lo contrario si el autmata inicial es un AFND, genere un
AFD que reconozca el mismo lenguaje.

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del ejercicio
propuesto).

Una mquina de estados finitos M es un quntuplo (, , , , ), donde:

= Es el conjunto de estados {0, 1, 2, 3}
= Es el alfabeto de entrada {0,1, }
S Q = Es el estado inicial {0}
= Es el conjunto de estados finales {1}
Donde la funcin : {0, 1, 2, 3} x {0,1, } {0, 1, 2, 3,} viene dada por:
= (0, 1) = 0
= (0, 1) = 1
= (1, ) = 3
= (1, 1) = 2

 = (2, 0) = 0
= (2, ) = 1
= (3, 0) = 2
3. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia. (No
se trata solo de captura las imgenes, estas deben ser explicadas en pi de pgina o de lo contrario no
tienen validez)

Vamos a probar la cadena valida 101

Parte del estado inicial q0

Realiza el primer paso y luego lee

Luego recibe el 0 pasando de q3 a q2

Luego acepta y se va de q2 a q1

Luego acepta 1 y vuelve de q1 a q2

Y por ltimo recibe