UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

AUTOMATAS Y LENGUAJES FORMALES 301405A_223

Momento No 1

Presentado por:

YESENIA BALLESTAS

Grupo:
301405A_223

Tutor
JAIME RUBIANO LLORENTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
I Semestre del 2015
JUNIO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

CONTENIDO
INTRODUCCIN ................................................................................................................................... 4
GUIA DE ACTIVIDADES ........................................................................................................................ 5
1. Dada las siguientes expresiones regulares (ER), encuentre la expresin mnima simplificada
correspondiente. ............................................................................................................................. 5
Para la expresin regular 4: 1*0 + 1*0(+0+1)*( +0+1), resuelva: ....................................... 5

2.
A.

Describa la forma matemtica del autmata ..................................................................... 5

B. 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) .............................. 6
C. 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. ....................................................................... 7
D.

Identifique el lenguaje que genera. .................................................................................... 8

E. 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)................................................................................. 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 vlidas y dos no vlidas. .................................................................. 12

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. ............................................................................................................................ 13
A.

Describa la forma matemtica del autmata ................................................................... 13

B. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto). ................................................................................................................. 13
C. 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)............................................................................... 13
D.

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

E. 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 cn colores las
sentencias matemticas. Para ello apyese en el video: http://youtu.be/JZPAHHA2PnE ....... 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

CONCLUSIONES ................................................................................................................................. 14
BIBLIOGRAFA .................................................................................................................................... 15

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

INTRODUCCIN

La teora de autmatas es una rama de las ciencias de la computacin que estudia

las mquinas abstractas y los problemas que stas son capaces de resolver. La
teora de autmatas est estrechamente relacionada con la teora del lenguaje
formal ya que los autmatas son clasificados a menudo por la clase de lenguajes
formales que son capaces de reconocer.
Un autmata es un modelo matemtico para una mquina de estado finito (FSM sus
siglas en ingls). Una FSM es una mquina que, dada una entrada de smbolos,
"salta" a travs de una serie de estados de acuerdo a una funcin de transicin (que
puede ser expresada como una tabla). En la variedad comn "Mealy" de FSMs, esta
funcin de transicin dice al autmata a qu estado cambiar dados un determinado
estado y smbolo.
La entrada es leda smbolo por smbolo, hasta que es "consumida" completamente
(piense en sta como una cinta con una palabra escrita en ella, que es leda por una
cabeza lectora del autmata; la cabeza se mueve a lo largo de la cinta, leyendo un
smbolo a la vez) una vez la entrada se ha agotado, el autmata se detiene.
Dependiendo del estado en el que el autmata finaliza se dice que este ha aceptado
o rechazado la entrada. Si ste termina en el estado "acepta", el autmata acepta
la palabra. Si lo hace en el estado "rechaza", el autmata rechaz la palabra, el
conjunto de todas las palabras aceptadas por el autmata constituyen el lenguaje
aceptado por el mismo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

GUIA DE ACTIVIDADES
1. Dada las siguientes expresiones regulares (ER), encuentre la expresin
mnima simplificada correspondiente.

ER

ER simplificada

ER1

(0(1)*) + 1

01111

ER2

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

111

ER3

0 + ( + 1)(

0110

ER4

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

ER5

((0+1)1)

+ 1)*0

1110+011

+0+1)

1
Fuente: elaboracin propia

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

+0+1), resuelva:

Q0

{ Q0, Q3}

{ Q0, Q1}

Q1

Q2

Q2

Q2

Q2

Q3

Q4

Q4

Q4

Q4

A. Describa la forma matemtica del autmata

La forma matemtica del autmata se expresa de la siguiente forma:
A = [(Q0, Q1, Q2, Q3, Q4),(0,1),, Q0,( Q2, Q4)]

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

B. 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)

Es un Autmata Finito Determinsticos AFD: debido a que estn determinando la

ruta por donde puedo pasar o recrear o correr las cadenas que puede aceptar el
autmata.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

C. 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.

= (0,1) es el alfabeto que contiene estos dos smbolos

K = (Q0, Q1, Q2, Q3, Q4) son los estados que contiene la presente autmata
S = Q0
F = Q2, Q4

x K = K, la funcin de transicin indica a qu estado se va a pasar, sabiendo

cul es el estado actual y el smbolo que se esta leyendo.

Donde la funcin : (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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

D. Identifique el lenguaje que genera.

L = (0,1)
El lenguaje que genera segn 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
autmata es:

00

11

E. 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)

Ingresamos la cadena 1001 que es una palabra aceptada

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

Se inicializa el autmata en Q0 que es la entrada

La palabra 1001 inicia con un uno (1) el cul puede tomar dos caminos diferentes
uno de ellos es que se queda en el mismo estado y puede realizar el cambio estado
a Q1.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
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 smbolo 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 transicin posible.

La palabra 1001 continua con otro cero (0), desde Q3 hay una transicin al estado
Q4.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

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

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).

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

En ambos simuladores se pueden realizar el diagrama de Moore y correr sin ningn

problema las cadenas que acepte el autmata, el simulador Vas nos permite
generar la tabla de transiciones y pasar un autmata finito no determinsticos
(AFND) a un autmata finito determinsticos (AFD), mientras que el simulador
JFLAp, es un poco ms completo, permitiendo generar AFND a AFD, adems de
otras opciones como obtener la ER, seguir el proceso de una cadena, generar la
gramtica, minimizar, comparar equivalencias entre otras funciones.

G. Genere tres cadenas vlidas y dos no vlidas.

A continuacin se dan a conocer tres cadenas vlidas y dos no vlidas.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

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.

A. Describa la forma matemtica del autmata

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

C. 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)

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

E. 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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

CONCLUSIONES
Gracias al presente trabajo se logr aprender y apropiar conceptos de lo que son
los autmatas y los lenguajes formales. Adems tambin se aprendi que una
mquina de Turing es un dispositivo que manipula smbolos sobre una tira de cinta
de acuerdo a una tabla de reglas. A pesar de su simplicidad, una mquina de Turing
puede ser adaptada para simular la lgica de cualquier algoritmo de computador y
es particularmente til en la explicacin de las funciones de una CPU dentro de un
computador.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES 301405A_223
2015 - Semestre I

BIBLIOGRAFA

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