Automatas PDF

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

Momento No 1
Presentado por:
YESENIA BALLESTAS
Grupo:
301405A_223
Tutor
JAIME RUBIANO LLORENTE
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

I Semestre del 2015
JUNIO
2015 - Semestre I
CONTENIDO
INTRODUCCIÓN ................................................................................................................................... 4
GUIA DE ACTIVIDADES ........................................................................................................................ 5
1. Dada las siguientes expresiones regulares (ER), encuentre la expresión mínima simplificada
correspondiente. ............................................................................................................................. 5
2. Para la expresión regular 4: 1*0 + 1*0(𝜸+0+1)*( 𝜸+0+1), resuelva: ....................................... 5
A. Describa la forma matemática del autómata ..................................................................... 5
B. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD o AFND) y
justifique su respuesta. (No se trata de dar el concepto de determinismo) .............................. 6
C. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del
ejercicio propuesto). Debe explicar y describir cada elemento y la función y significado en el
autómata. Conceptos y definiciones adicionales. ....................................................................... 7
D. Identifique el lenguaje que genera. .................................................................................... 8
E. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada
secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de
página o de lo contrario no tienen validez)................................................................................. 8
F. 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). ............................................................................................................................... 11
G. Genere tres cadenas válidas y dos no válidas. .................................................................. 12
3. Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el mismo
lenguaje; o por lo contrario si el autómata inicial es un AFND, genere un AFD que reconozca el
mismo lenguaje. ............................................................................................................................ 13
A. Describa la forma matemática del autómata ................................................................... 13
B. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del
ejercicio propuesto). ................................................................................................................. 13
C. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada
secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de
página o de lo contrario no tienen validez)............................................................................... 13
D. Muestre el diagrama de Moore generado en JFLAP y en VAS .......................................... 13
E. Identifique la ER asociada al nuevo diseño y compárela con la expresión regular
simplificada (es decir analícelas con dos cadenas válidas y con dos no válidas). Para ello debe
identificar en una tabla la jerarquía de operadores regulares, identificando cn colores las
sentencias matemáticas. Para ello apóyese en el video: http://youtu.be/JZPAHHA2PnE ....... 13
2015 - Semestre I
CONCLUSIONES ................................................................................................................................. 14
BIBLIOGRAFÍA .................................................................................................................................... 15
2015 - Semestre I
INTRODUCCIÓN
La teoría de autómatas es una rama de las ciencias de la computación que estudia

las máquinas abstractas y los problemas que éstas son capaces de resolver. La
teoría de autómatas está estrechamente relacionada con la teoría del lenguaje
formal ya que los autómatas son clasificados a menudo por la clase de lenguajes
formales que son capaces de reconocer.
Un autómata es un modelo matemático para una máquina de estado finito (FSM sus
siglas en inglés). Una FSM es una máquina que, dada una entrada de símbolos,
"salta" a través de una serie de estados de acuerdo a una función de transición (que
puede ser expresada como una tabla). En la variedad común "Mealy" de FSMs, esta
función de transición dice al autómata a qué estado cambiar dados un determinado
estado y símbolo.
La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente

(piense en ésta como una cinta con una palabra escrita en ella, que es leída por una
cabeza lectora del autómata; la cabeza se mueve a lo largo de la cinta, leyendo un
símbolo a la vez) una vez la entrada se ha agotado, el autómata se detiene.
Dependiendo del estado en el que el autómata finaliza se dice que este ha aceptado
o rechazado la entrada. Si éste termina en el estado "acepta", el autómata acepta
la palabra. Si lo hace en el estado "rechaza", el autómata rechazó la palabra, el
conjunto de todas las palabras aceptadas por el autómata constituyen el lenguaje
aceptado por el mismo.
2015 - Semestre I
GUIA DE ACTIVIDADES
1. Dada las siguientes expresiones regulares (ER), encuentre la expresión

mínima simplificada correspondiente.
ER ER simplificada
ER1 (0(1)*) + 1 01111
ER2 𝛾 + 1+( 𝛾+ 1)( 𝛾+ 1)*( 𝛾+ 1) 𝛾111
ER3 0 + (𝛾 + 1)( 𝛾+ 1)*0 0110
ER4 1*0 + 1*0(𝛾 +0+1)*( 𝛾+0+1) 1110+011
ER5 ((0+1)1) 1
Fuente: elaboración propia
2. Para la expresión regular 4: 1*0 + 1*0(𝜸+0+1)*( 𝜸+0+1), resuelva:
𝜸 0 1
Q0 { Q0, Q3} { Q0, Q1}
Q1 Φ Q2
Q2 Q2 Q2
Q3 Q4 Φ
Q4 Q4 Q4
A. Describa la forma matemática del autómata

La forma matemática del autómata se expresa de la siguiente forma:
A = [(Q0, Q1, Q2, Q3, Q4),(0,1),𝜸, Q0,( Q2, Q4)]

2015 - Semestre I
B. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD

o AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo)
Es un Autómata Finito Determinísticos AFD: debido a que están determinando la

ruta por donde puedo pasar o recrear o correr las cadenas que puede aceptar el
autómata.
2015 - Semestre I
C. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autómata del ejercicio propuesto). Debe explicar y describir cada
elemento y la función y significado en el autómata. Conceptos y
definiciones adicionales.
∑ = (0,1) es el alfabeto que contiene estos dos símbolos

K = (Q0, Q1, Q2, Q3, Q4) son los estados que contiene la presente autómata
S = Q0
F = Q2, Q4
𝜸=∑ x K = K, la función de transición indica a qué estado se va a pasar, sabiendo

cuál es el estado actual y el símbolo que se esta leyendo.
Donde la función 𝜸 : (Q0, Q1, Q2, Q3, Q4) x (0,1) = (Q0, Q1, Q2, Q3, Q4) = viene dada
por:
𝜸 (Q0, 0) = Q0, Q3 𝜸 (Q0, 1) = Q0, Q1
𝜸 (Q1, 0) = Φ 𝜸 (Q1, 1) = Q2
𝜸 (Q2, 0) = Q2 𝜸 (Q2, 1) = Q2
𝜸 (Q3, 0) = Q4 𝜸 (Q3, 1) = Φ
𝜸 (Q4, 0) = Q4 𝜸 (Q4, 1) = Q4
2015 - Semestre I
D. Identifique el lenguaje que genera.

L = (0,1)
El lenguaje que genera según la tabla de transiciones y el diagrama realizado, es

una cadena que deben tener dos estados iguales en cualquier parte de la cadena
“00” ó “11” y puede empezar la cadena con 0 ó 1. El lenguaje aceptado por esta
autómata es:
 00
 11
E. Muestre en el simulador (gráficamente) como recorre una cadena

válida. Explique cada secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pié de página o de lo contrario
no tienen validez)
Ingresamos la cadena 1001 que es una palabra aceptada

2015 - Semestre I
Se inicializa el autómata en Q0 que es la entrada
La palabra 1001 inicia con un uno (1) el cuál puede tomar dos caminos diferentes
uno de ellos es que se queda en el mismo estado y puede realizar el cambio estado
a Q1.
2015 - Semestre I
La palabra 1001 continua con un cero (0), el cual la siguiente ruta parte desde el
mismo Q0 que ya que el primer símbolo lo dejo en el estado Q0 y Q1 pero la única
ruta siguiente posible es desde Q0 a Q3 ya que en Q1 no hay transición posible.
La palabra 1001 continua con otro cero (0), desde Q3 hay una transición al estado
Q4.
2015 - Semestre I
La palabra 1001 finaliza con un uno (1), desde el mismo Q4 se da la aceptación
F. 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).
2015 - Semestre I
En ambos simuladores se pueden realizar el diagrama de Moore y correr sin ningún

problema las cadenas que acepte el autómata, el simulador Vas nos permite
generar la tabla de transiciones y pasar un autómata finito no determinísticos
(AFND) a un autómata finito determinísticos (AFD), mientras que el simulador
JFLAp, es un poco más completo, permitiendo generar AFND a AFD, además de
otras opciones como obtener la ER, seguir el proceso de una cadena, generar la
gramática, minimizar, comparar equivalencias entre otras funciones.
G. Genere tres cadenas válidas y dos no válidas.

A continuación se dan a conocer tres cadenas válidas y dos no válidas.
𝜸
ER = 1*0 + 1*0( +0+1)*( 𝜸+0+1) Valido?
1110+011 Si
10 + 1011 Si
1111110 + 1111011 Si
011+10110 No
11101111+101100 No
2015 - Semestre I
3. Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que

reconozca el mismo lenguaje; o por lo contrario si el autómata inicial es un
AFND, genere un AFD que reconozca el mismo lenguaje.
A. Describa la forma matemática del autómata
B. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autómata del ejercicio propuesto).
C. Muestre en el simulador (gráficamente) como recorre una cadena

válida. Explique cada secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pié de página o de lo contrario
no tienen validez)
D. Muestre el diagrama de Moore generado en JFLAP y en VAS
E. Identifique la ER asociada al nuevo diseño y compárela con la expresión

regular simplificada (es decir analícelas con dos cadenas válidas y con
dos no válidas). Para ello debe identificar en una tabla la jerarquía de
operadores regulares, identificando con colores las sentencias
matemáticas. Para ello apóyese en el video:
http://youtu.be/JZPAHHA2PnE
2015 - Semestre I
CONCLUSIONES
Gracias al presente trabajo se logró aprender y apropiar conceptos de lo que son
los autómatas y los lenguajes formales. Además también se aprendió que una
máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta
de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing
puede ser adaptada para simular la lógica de cualquier algoritmo de computador y
es particularmente útil en la explicación de las funciones de una CPU dentro de un
computador.
2015 - Semestre I
BIBLIOGRAFÍA
 http://www.veoh.com/watch/v616083236Thn5HJn
 https://www.youtube.com/watch?v=eWUfPJD9A_0&feature=youtu.be
 https://www.youtube.com/watch?v=3kWdHOLw-AQ
 https://www.youtube.com/watch?v=ASg_ZUXgvZk
 https://www.youtube.com/watch?v=sW-Lx9p1xfc
 https://www.youtube.com/watch?v=I4wI0mwQYow
 https://www.youtube.com/watch?v=-mZ2HgVW1oc

Automatas PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Automatas PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

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

AUTOMATAS Y LENGUAJES FORMALES 301405A_223

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

La teoría de autómatas es una rama de las ciencias de la computación que estudia

La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente

1. Dada las siguientes expresiones regulares (ER), encuentre la expresión

2. Para la expresión regular 4: 1*0 + 1*0(𝜸+0+1)*( 𝜸+0+1), resuelva:

A. Describa la forma matemática del autómata

A = [(Q0, Q1, Q2, Q3, Q4),(0,1),𝜸, Q0,( Q2, Q4)]

B. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD

Es un Autómata Finito Determinísticos AFD: debido a que están determinando la

∑ = (0,1) es el alfabeto que contiene estos dos símbolos

𝜸=∑ x K = K, la función de transición indica a qué estado se va a pasar, sabiendo

𝜸 (Q0, 0) = Q0, Q3 𝜸 (Q0, 1) = Q0, Q1

D. Identifique el lenguaje que genera.

El lenguaje que genera según la tabla de transiciones y el diagrama realizado, es

E. Muestre en el simulador (gráficamente) como recorre una cadena

Ingresamos la cadena 1001 que es una palabra aceptada

Se inicializa el autómata en Q0 que es la entrada

La palabra 1001 finaliza con un uno (1), desde el mismo Q4 se da la aceptación

F. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente

En ambos simuladores se pueden realizar el diagrama de Moore y correr sin ningún

G. Genere tres cadenas válidas y dos no válidas.

3. Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que

A. Describa la forma matemática del autómata

C. Muestre en el simulador (gráficamente) como recorre una cadena

D. Muestre el diagrama de Moore generado en JFLAP y en VAS

E. Identifique la ER asociada al nuevo diseño y compárela con la expresión

También podría gustarte

2. Para la expresión regular 4: 10 + 10(𝜸+0+1)*( 𝜸+0+1), resuelva: