Problemas a Desarrollar:

1. Dadas las siguientes expresiones regulares (ER), encuentre la expresin

mnima simplificada correspondiente:

ER
ER1

(0(1)*)+1

ER2
ER3
ER4
ER5

+1+(+1)(+1)*(+1)
0+(+1)(+1)*0
1*0+1*0(+0+1)*(+0+1)
((0+1)1)

ER SIMPLIFICADA
0.1+1
1*
1*.0
1*0(0+1)*
0.1+1.1

0 ( 1 )

ER 1=

0.1

ER 1=

ER2= +1+ ( +1 )( +1 )( +1 )=1+ ( +1 ) ( +1 )( +1 )

ER2=1+ ( 1 )( 1 )( 1 )=1+1.11
Sacando factor comn quedara
ER2=1+1.11=1

ER3=0+ ( +1 ) ( +1 )0=0+(1)(1)0
ER 3=0+1.10

ER 3=1.0

ER 4=10+ 10 ( +0+1 )( +0+1 )=10+10 ( 0+1 )( 0+1 )

ER 4=10+ 10 ( 0+1 )
Sacando factor comn de (0+1)* queda as:
ER 4=10 ( 0+ 1 )

ER 5=( ( 0+1 ) 1 )= ( 0.1+ 1.1 )

ER 5=0.1+1.1

2. Para la expresin regular 4: 1*0+1*0(+0+1)*(+0+1) resuelva:

1. Describa la forma matemtica del autmata
ER4=1*0(0+1)*
P = (Q, , q0 , , F)
Q={q1, q2, q3 }

= { 0, 1,}

q1 = estado inicial
F = {q3 } estado final.
={ ( q 1,1, q 1 ) , ( q 1,0, q 2 ) , ( q 2,0, q 3 ) , ( q 2,1, q 3 ) , ( q 2, , q 3 ) , ( q 3,0, q 3 ) ,(q 3,1, q 3) }
2. Plasme la tabla de transicin, identifique que tipo de autmata es (AFD
o AFND) y justifique su respuesta.

q1
q2
q3

0
q2
q3
q3

1
q1
q3
q3

q1
q3
q3

Es un Autmata Finito Determinista porque cada elemento de entrada

determina una transicin posible.
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.
Dado el autmata P Finito Determinista
P=( Q, , q0 , t , F )
Q: Conjunto de estados: Corresponde a todos los estados que
interactan en la ejecucin del proceso del autmata.
Q= {q 1,q 2, q 3, }
: El alfabeto de smbolos: Son los smbolos que se evalan en el
proceso y determinan las transiciones.

{0,1 }
t: Es la relacin de transiciones: Es el conjunto de transiciones definidas
para el proceso.

t : { q 1, q 2, q 3 } x {0,1, } { q 1,q 2,q 3 } q 0 { q 3 }

t ( q 1,0 )=q 2
t ( q 1,1 ) =q 1
t ( q 1, )=q 1

t ( q 2,0 )=q 3
t ( q 2,1 ) =q 3
t ( q 2, )=q 3
t ( q 3,1 ) =q 3
t ( q 3,0 )=q 3
t ( q 3, )=q 3
q 0 : Estado inicial
F: Estado final
F=q 4

4. Identifique el lenguaje que genera.

Se tiene

{0,1 }

y la

ER 4=10 ( 0+ 1 )

L(1*0(0+1)*=L(1*).L(0).L((0+1)*)

{ 1 }. { 0 } . { 0+1 } {1n .0 . ( 0+1 )m|n , m 0 }

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)

Se da click en input y se selecciona step by state si se quiere realizar

paso a paso o fast run si se quiere correr todo de una vez.
Cadena Valida.

Se puede observar el recorrido que realiza de q1 a q3 donde finaliza.

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).
El diagrama de Moore en JFLAP es:

En VAS no se pudo generar ya que el enlace para descargar el

simulador est roto.
7. Genere tres cadenas vlidas y dos no vlidas.

Cadenas vlidas.

Cadenas no vlidas.
Al ingresar una cadena valida como lo es 111, en fast run, muestra que
no es correcta.

Paso a Paso

Se puede observar que no pasa del estado inicial.

Cuando ingresamos en la cadena 12 se observa que no pasa del

estado inicial.