PROBLEMAS A DESARROLLAR.

1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o con otra
secuencia de operadores o distribucin de smbolos. En general es una forma matemtica
que representa el Lenguaje que genera un Autmata. Y esas expresiones regulares siempre
sern vlidas siempre y cuando representen exactamente el mismo lenguaje para un
Autmata. Concluyendo, para un Autmata, puede haber ms de una ER que representa el
mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera
escribir. Solo que en los diseos ptimos computacionales siempre se buscar la mejor ER
(corta o mnima) para efectos de la mejor simulacin o para llevarlas a lenguajes de
programacin en la creacin de soluciones computacionales (solucionar problemas Algoritmos).
Dada las siguientes expresiones regulares (ER), encuentre la expresin mnima simplificada
correspondiente y una posible expresin equivalente escrita de otra forma. (Para ello,
siempre tenga en cuenta la jerarqua de caracteres y el tema de ER descrito en el mdulo).

ER1: (0(1)*) + 1
ER SIMPLIFICADA

Aplicado propiedad
8. ( + ) = + , ( + ) = +
01* + 1

ER ALTERNA O
EQUIVALENTE

(0+1)* + 1
ER2: + 1+( + 1)( + 1)*( + 1)
ER SIMPLIFICADA
Aplicado propiedad
4. + =
( + 1)+( + 1)( + 1)*( + 1)
Aplicado propiedad
11. * = *
( + 1)( + 1)( + 1)*
Aplicado propiedad
12.* = * * = (*)*
( + 1)( + 1)*
1 + 1*
Aplicado propiedad
13.* = + *
1*
ER ALTERNA O
EQUIVALENTE

1+1*

ER3: 0 + ( + 1)( + 1)*0

ER SIMPLIFICADA
Aplicado propiedad
17. Si L(a), entonces a+=a
0 + 11*0
Aplicado propiedad
11. * = *
0 + 01*
Aplicado propiedad
4. + =
1*0
ER ALTERNA O
EQUIVALENTE

(1 0)*

ER4: 1*0 + 1*0 (+0+1)* (+0+1)

ER SIMPLIFICADA
Aplicado propiedad
11. * = *
1*0 + 1*0 (+0+1)(+0+1)*
Aplicado propiedad
4. + =
1*0 (+0+1)(+0+1)*
Aplicado propiedad
17. Si L(a), entonces a+=a
(1*0) (0+1)(0+1)*
Aplicado propiedad
13.* = + *
1*0(0+1)*
ER ALTERNA O
EQUIVALENTE

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

ER5:

((0+1)1)

Despajando el parntesis
((0+1)1
Aplicado propiedad
.(+)=.+.y (+).=.+.
01 + 11
ER ALTERNA O
EQUIVALENTE
01 + 1*

2. PARA LA EXPRESION REGULAR 4: 1*0 + 1*0 (+0+1)* (+0+1)

Se debe trabajar con la expresin regular simplificada que quedo de la siguiente
manera:
1*0(0+1)*
RESUELVA:
1. Describa la forma matemtica del autmata,
M=({q0,q1},{0,1}, ,q0,{q1})
K={q0,q1}
={0,1}
Inicial=q0
Final= q1
(q0,1)=q0
(q0,0)=q1
(q1,1)=q1
(q1,0)=q1

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)

q0
q1

0
q1
q1

1
q0
q1

Este es un tipo de autmata finito determinista (AFD) ya que para cualquier valor de
entrada existe un valor de estado que lo reciba, como se ve en el ejercicio ningn valor de
entrada queda sin su valor de estado.

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.
Es un quntuplo (K, , ,s, F) donde:
K: Identifica el conjunto de estados que pueden ser de aceptacin o rechazo.
K={q0,q1}
: Corresponde a las letras del alfabeto de entrada o elementos que ingresan a los estados.
={0,1}
: K x K es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
(q0,1)=q0
(q0,0)=q1
(q1,1)=q1
(q1,0)=q1
s K es el estado inicial.
s =q0
F K es estado final.
F = q1
Tupla: Es una lista que no puede modificarse despus de creada, es definida desde el
mismo momento que se define la lista.
Smbolo: Es la representacin que distingue cualquier tipo de informacin, pueden ser
letras, nmeros o caracteres especiales.
Alfabeto: Es el conjunto de caracteres no vacos que se utilizan para designar los elementos
que ingresan a los estados.

Cadenas: Son cadenas de caracteres que forman secuencias o palabras.

Lenguaje: Es un conjunto de palabras, se puede especificar un lenguaje finito a travs de
sus elementos encerrados entre llaves.
Autmata Finito: Llamada tambin mquina de estado finito, es un modelo computacional
que realiza cmputos en forma automtica sobre una entrada para producir una salida.
Este modelo est conformado por un alfabeto, un conjunto de estados finito, una funcin de
transicin, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en
una funcin de transicin, que recibe a partir de un estado inicial una cadena de caracteres
pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el
autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de
aceptacin, que representa la salida.

4. Identifique el lenguaje que genera.

1*0(0+1)*

L = { {0,1}* = 1i0 (01) i, i 0}

El autmata AFD reconoce el lenguaje de todas las cadenas posible dentro de todo el
conjunto de combinaciones posibles {1,0}* de tal manera que esas cadenas empiecen por
un 1 repetidos cuantas veces quiera, seguidas de un cero, con una o ms repeticiones 1 y 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)
De acuerdo a la ER4 1*0(0+1)* se da como ejemplo la siguiente cadena aceptada y se
explica lo siguiente:
- Indica que el primer termino 1 se repite cuantas veces quiera para este caso se coloco 2
veces 11.
- Seguido de cero 0
- Y por ultimo cualquier cantidad de repeticiones de los trminos 1 y 0 que estn entre
parntesis, por lo tanto se coloco 111 y 000, donde al ejecutar la cadena nos dice que es
una cadena aceptada.

SIMULADOR VAS
En la grfica 1 se muestra como el simulador recorre la cadena valida 1110101.
Grafica 1. Recorrido del simulador VAS paso por paso de la cadena valida.

El autmata empieza su operacin en el estado q0 (estado inicial) y al recibir el primer

smbolo el 1, vuelve al estado q0 (estado inicial).

10

Luego parte y vuelve al estado q0 cuando entra el smbolo 1.

Nuevamente parte y regresa al estado q0 cuando entra el smbolo 1.

11

Luego del estado q0 pasa al estado q1 cuando entre el smbolo 0.

Entonces del estado q1 regresa a este mismo estado cundo entra el carcter 1.

12

Luego partiendo del estado q1 regresa a este cuando entra el smbolo 1.

Entonces del estado q1 regresa al mismo estado cuando entra el carcter 1 y la cadena es
aceptada.

13

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 ofrezcan uno u otro).
JFLAP

VAS

Diferencias
1.- la forma de ingreso al aplicativo en JFLAP muestra un men con varias opciones,
mientras que el VAS solicita la creacin de un tipo de documento.
2.- Al crear los estados en JFLAP los tomas de una vez con el nombre de cada uno
arrancando desde q0, mientras que en VAS le solicita a cada estado el nombre.
3.- La forma de crear los enlaces son diferentes, tiene menos botones en VAS

14

Similitudes
1.- Tienen la forma de validar las cadenas de aceptacin o de rechazo.
2.- Permiten exportar las simulaciones a archivos de imagen.
3.- El estado final y el estado inicial se crean poniendo el cursor sobre el estado elegido y
dando click derecho sobre este y seleccionando la respectiva opcin de estado inicial o
estado final.

7. Genere tres cadenas vlidas y dos no vlidas.

SIMULADOR JFLAP

15

3. Si el autmata inicial (el de la ER4) 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.
1. Describa la forma matemtica del autmata
M ={ {q 0,q 1, q 4 } , { 0,1 } , , q 0, q 1 }
K={q0,q1,q4}
={0,1}
Inicial=q0
Final= q1
2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto).
K= { q 0, q 1,q 4 }

={ 0,1 }

s=q 0

F=q 1

Donde la funcin : {q0, q1, q2, q3 } {0, 1} {q0, q1, q2, q3} viene dada por:
={ ( q 0,0,q 1 ) , ( q 0,1, q 0 ) , ( q 4,0, q 4 ) , ( q 4,0, q 1 ) , ( q 4,1, q 4 ) , ( q 4,1, q 1 ) }
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)
Figura 2. Simulacin de la cadena valida 111011011, paso por paso del AFD

16

El autmata empieza su operacin en el estado q0 (estado inicial) y al recibir el primer

smbolo el 1, vuelve al estado q0 (estado inicial).

Luego parte y vuelve al estado q0 cuando entra el smbolo 1.

17

Nuevamente parte y regresa al estado q0 cuando entra el smbolo 1.

Luego del estado q0 pasa al estado q1 y q4 cuando entre el smbolo 0.

18

Entonces del estado q4 regresa a este mismo estado cundo entra el carcter 1, para el estado
q1 cuando entra el smbolo 1 la funcin de transicin del autmata no define el estado
siguiente.

Luego partiendo del estado q4 regresa a este o puede pasar que partiendo del estado q4
cambie al estado q1, cuando entra el simbolo1.

19

Entonces del estado q4 regresa al mismo estado o puede cambiar al estado q1 cuando entra
el carcter 0.

20

Paso siguiente del estado q4 vuelve al estado q4 o puede cambiar al estado q1cuando recibe
el smbolo 1.

Finalmente del estado q4 pasa al estado q1 y la cadena es aceptada. O parte del estado q4 y
regresa a este estado.
4. Muestre el diagrama de Moore generado en JFLAP y en VAS
JFLAP

21

VAS

5. Identifique la ER asociada al nuevo diseo y comprela con la expresin regular

simplificada (es decir analcelas con dos cadenas vlidas y con dos no vlidas). Para ello
debe identificar en una tabla la jerarqua de operadores regulares, identificando con colores
las sentencias matemticas. Para ello apyese en el video: http://youtu.be/JZPAHHA2PnE
(minuto 14 al 33). O en el video http://youtu.be/wGTxhnPXcw4

22

La ER asociada al nuevo diseo es: 1*((0+1)(0+1)*)

1*

0+1

(0+1)
*

0
11111
11111
11
1

0
0

1
1

No
valida
No
valida
Valida

10001

Valida
Valida

ER ALTERNA O EQUIVALENTE

1*

0
0

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

(0+1)
*

1
11111
11111
11
1

1
0

1
1

No
valida
No
valida
Valida

10001

Valida
Valida

0
0

23

REFERENCIAS BIBLIOGRAFICAS
AMAYA, Tarazona Carlos Alberto, Autmatas y lenguajes formales, Universidad
Nacional Abierta y a Distancia UNAD, Duitama Boyac, 2015.
https://www.youtube.com/watch?v=7N6K-ySja2I
https://www.youtube.com/watch?v=mCHpn-msFnw
http://es.slideshare.net/mvagila/clase4-transformacin-de
https://www.youtube.com/watch?v=wGTxhnPXcw4&feature=youtu.be
LLAMAS, Cesar, AUTOMATAS, fundamentos de informtica I, ITI sistemas,
2004,
UVA.
Recuperado
de
la
URL
www.ammanu.edu.jo/wiki1/es/articles/a/u/t/Autmata_finito.html
http://issuu.com/luisayirley/docs/52_mom1_301405.docx
Autmata Finito, recuperado de la URL https://es.wikipedia.org/wiki/Aut

%C3%B3mata_finito

24