Vous êtes sur la page 1sur 18

UNIVERSIDAD ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES 301405_43

TRABAJO COLABORATIVO 01

PRESENTADO POR:

HENRRY HARVEY HEREDIA NORIEGA


Cdigo 92.032.783
LIZARDO JOS PREZ MENDOZA
Cdigo 9196845
JAVIER ANGEL MENDEZ
Cdigo 1052985110
REOMIR NEGRETE PADILLA
Cdigo 1.110.513.536

Grupo nmero:
301405_43

PRESENTADO A.
NGELA MARA GONZLEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43
ZONA CRARIBE - CEAD COROZAL
2015

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

INTRODUCION
El estudio de la teora de autmatas y de los lenguajes formales se puede ubicar
en el campo cientfico de la Informtica Terica, un campo clsico y multidisciplinar
dentro de los estudios universitarios de Informtica. Es un campo clsico debido
no solo a su antigedad (anterior a la construccin de los primeros ordenadores e
investigaciones con respecto a las maquinas llevadas a cabo por E Turing) sino,
sobre todo, a que sus contenidos principales no dependen de los rpidos avances
tecnolgicos que han hecho que otras ramas de la Informtica deban adaptarse a
los nuevos tiempos a un ritmo vertiginoso. Es multidisciplinar porque en sus
cimientos encontramos campos tan aparentemente dispares como la lingstica,
las matemticas o la electrnica.
La teora de autmatas y lenguajes viene entonces a ser fundamental en temas
como automatizacin de procesos utilizando lenguajes de programacin en
mquinas o dispositivos mviles que con el tiempo han llegado a tener un gran
avance tecnolgico y as mismo una gran necesidad de generar o desarrollar un
ambiente autnomo dentro de sus cdigos.
En el presente documento se aborda el tema Autmatas y lenguajes formales
donde se tienen en cuenta las distintas expresiones regulares y lenguajes
aceptados por cada autmata. As mismo se detallar la forma matemtica de una
expresin regular que se haya seleccionado. Se identificaran los procesos, tipos
de autmatas y lenguajes a utilizar en cada ocasin (AFD o AFND) apoyados en
herramientas y/o aplicaciones como Visual Automata Simulator (VAS) y JFLAP
para generar las grficas necesarias.

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

OBJETIVOS
General
Apropiarse de los conceptos del curso virtual Autmatas y lenguajes
formales.
Especifico
Resolver ejercicios sobre expresiones regulares.
Interactuar con la plataforma del curso virtual autmatas y lenguajes
formales.
Interactuar con el grupo colaborativo del curso virtual autmatas y lenguajes
formales.

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

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).
ER
ER1
ER2

ER
SIMPLIFICADA

01 +1

0 ( 1 )

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

0(1)+1+

1+ 111

ER3

0+ ( + 1 )( + 1 )0

1 0

ER4
ER5

10+ 10 ( + 0+1 )( +0+1 )( +1 )


( ( 0+1 ) 1)

1 0(0+1)
01+11

ER1
( 0 ( 1 ) ) 1
01 +1
ER2
+1+ ( + 1 )( + 1 )( +1 )

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

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

+ ( +1 )
( +1)

( +1) ( +1 )

ER ALTERANA O
EQUIVALENTE

1 0
0+( +1)
10 (0+1)(0+1)
(01+11)

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

( +1)1
1

ER3
0+ ( + 1 )( + 1 )0
+1
+() ( +1 )0

( +1 )0

1 0
ER4
10+ 10 ( + 0+1 )( +0+1 ) ( +1 )
+0+1
+()

10+10
10 ( + 0+1 )

10 ( +(0+ 1) )

10 ( +(0+1) )

10 ( ( 0+1 ) )
1 0(0+1)
ER5

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

10+ 10 ( + 0+1 )( + 0+1 )

Describa la forma matemtica del autmata,


Tomamos la expresin simplificada

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

1 0(0+1)

El alfabeto quedara de la siguiente manera {1,0 } escribimos la la notacin de


conjunto la funcin de transferencia.
{1 }
19

= ( 0 ) U n donde my n son mayoreres o iguales a cero

{ ( 1 ) m(0) }
=

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)

f
q0
q1

0
q1
q1

1
q0
q1

Autmata Finito Determinsticos:


Ya que las rutas estn determinadas, no hay ambigedad en las transiciones.

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=

Estos son los elementos del alfabeto que pueden ser caracteres, letras o
caracteres especiales Q= {Q 0 , Q1 }
Estos son los estados o memorias que determinan un comportamiento dada cierta
interacciones que pueden cambiar dependiendo de cada autmata, despus viene
la funcin de transferencia que puede ser a tabla de transicin
=1 0( 0+1)
la funcin de transferencia indica el comportamiento como tal del
autmata asociando estados, smbolos e interacciones; el cuarto elemento es el
inicial Q0 que es donde empieza el autmata y el quinto elemento es el estado
final Q1 es donde finaliza el autmata.

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Identifique el lenguaje que genera.


Definido el leguaje L como conjunto de palabras w que son cadenas formadas por
smbolo de un alfabeto

Esto es

{1,0 }/w=1 0(0+1) }


L={w

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 pie de pgina o de lo contrario no tienen validez)

Ingresamos la cadena 10101 es una cadena aceptada.


Iniciamos el autmata en q0.
La cadena aceptada 10101 continua con 0 el cual toma camino hacia q1.
La cadena aceptada 10101 continua con 0 el cual toma camino hacia q1.
Y hace un ciclo repetitivo en el mismo estado q1 para terminar el recorrido de la
cadenas restantes 10101

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

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

JFLAP

JFLAP

VAS

VAS

La mquina puede generar la tabla de


transicin.
Cada estado a crear debe ser
nombrado.
Si se puede ver la tabla de transicin.
Permite realizar varias transiciones en una Por cada transicin entre estados, hay
misma lnea entre estados
que hacer una lnea
Este simulador permite la conversin de AF a ER Permite la observacin de los caminos
y viceversa.
que toma cada smbolo en una
transicin
No tiene para visualizar la tabla de transicin
Depurador grfico, muestra por color la
prueba

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Genere tres cadenas vlidas y dos no vlidas.

Cadenas validas
110
10
101

Cadenas no validas
1111111
1

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.

AFD

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

AFND

Describa la forma matemtica del autmata.

El autmata m finito est dado por M = (, K, q0, , F)


K = {q0, q1, q2, q3}
= {0,1}
s = q0
F = q3

Donde la funcin : (q0, q1, q2, q3) (1,0) (q0, q1, q2, q3) q0 q3 viene
dada por las transiciones
(q0, 0) = q1
(q1, 0) = q3
(q2, 0) = q3
(q3, 0) = q3

(q0, 0) = q2
(q1, 1) = q3
(q2, 1) = q3
(q3, 1) = q3

(q0, 1) = q0

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

El autmata m finito est dado por M = (, K, q0, , F)

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

K = {q0, q1, q2, q3} Identifica los estados que puede tener la mquina
= {0,1}
Identifica el alfabeto de entrada
s = q0
Es el estado inicial de la mquina
F = q3
Es el estado final
=
Es la funcin de transicin, a partir de un estado k y
un smbolo del alfabeto puede generar un nuevo estado.
La funcin est dado por las siguientes transiciones
(q0, 0) = q1
(q1, 0) = q3
(q2, 0) = q3
(q3, 0) = q3

(q0, 0) = q2
(q1, 1) = q3
(q2, 1) = q3
(q3, 1) = q3

(q0, 1) = q0

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 pie de pgina o de lo contrario no tienen validez)

Comprobacin de que admite la cadena a correr

El simulador lee el primer alfabeto de entrada 1, y se mantiene en q0

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Lee el alfabeto siguiente de entrada que es 0, el cual tiene dos estado de destino,
q1 0 q2

El simulador lee el alfabeto 1 y se dirige hacia q3

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Los prximos alfabetos los lee y los dirige hacia q3 que es el estado final

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Muestre el diagrama de Moore generado en JFLAP y en VAS


Autmata e VAS

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Autmata en JFLAP

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

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

Expresin regular: 1*(0(0+1)+0(0+1)) (0+1)* 1*

1*
1

0
0

0
0

1
111
1

(1+0)*
111111000
0
110
0000

0(1+0)*

Aceptada
Aceptada
Aceptada
No
Aceptada
No
Aceptada

CONCLUSIONES
Se adquiere conocimiento en el manejo de las herramientas necesarias y
esenciales para la graficacin de cada ejercicio planteado.
Se obtienen el aprendizaje primario e introductorio al tema con base al tema
Autmatas y lenguajes formales cumpliendo con los objetivos planteados y/o
propuesto en un principio.
Se logra aprender y apropiar conceptos de lo que son los autmatas y se comprenden
mejor los lenguajes formales como tambin sus identificaciones como lo son los
modelos AFD y AFND.

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

BIBLIOGRAFIA

www. luzem.dyndns.org . expresiones regulares. 27 de agosto de 2015.


Recuperado de: http://luzem.dyndns.org/tag/expresiones-regulares/
www. ocw.unican.es .expresiones regulares. Recuperado de:
http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-automatas-y-lenguajesformales/material-de-clase-nuevo/nuevo/1-5_Expresiones_regulares.pdf
www.ia.urjc.es . autmatas. 27 de agosto de 2015. Recuperado de:
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf
www. www.ia.urjc.es . expresiones regulares. 27 de agosto de 2015.
Recuperado de:
http://www.ia.urjc.es/cms/sites/default/files/userfiles/file/GICMSAL/Tema4_ExpresionesRegulares.pdf
www. users.dsic.upv.es. expresiones regulares. 27 de agosto de 2015.
Recuperado de: http://users.dsic.upv.es/asignaturas/eui/alc/ER.pdf
www. ccc.inaoep.mx .expresiones regulares. 27 de agosto de 2015.
Recuperado de:
https://ccc.inaoep.mx/~emorales/Cursos/Automatas/ExpRegulares.pdf

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTOMATAS Y LENGUAJES FORMALES 301405_43

www. www.cs.famaf.unc.edu.ar. Introduccin a la logica. 27 de agosto de


2015. Recuperado de:
http://www.cs.famaf.unc.edu.ar/wiki/lib/exe/fetch.php?
media=intrologica:2014:class-3-handout-last.pdf
algebra regular. 27 de agosto de 2015. Recuperado de:
www.delta.cs.cinvestav.mx
.http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research
_files/Algebra_regularPablo.pdf
Teoria de Automatas y lenguajes formales - Coleccin manuales uex 55
Elena Jurado Malaga [2008]
http://biblioteca.unex.es/tesis/Teorias_automatas.pdf