Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Automatas y Lenguajes Momento 1
Automatas y Lenguajes Momento 1
TRABAJO COLABORATIVO 01
PRESENTADO POR:
Grupo nmero:
301405_43
PRESENTADO A.
NGELA MARA GONZLEZ
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.
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.
ER
SIMPLIFICADA
01 +1
0 ( 1 )
+1+ ( + 1 )( + 1 )( +1 )
0(1)+1+
1+ 111
ER3
0+ ( + 1 )( + 1 )0
1 0
ER4
ER5
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)
( +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:
1 0(0+1)
{ ( 1 ) m(0) }
=
f
q0
q1
0
q1
q1
1
q0
q1
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.
Esto es
JFLAP
JFLAP
VAS
VAS
Cadenas validas
110
10
101
Cadenas no validas
1111111
1
AFD
AFND
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).
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
Lee el alfabeto siguiente de entrada que es 0, el cual tiene dos estado de destino,
q1 0 q2
Los prximos alfabetos los lee y los dirige hacia q3 que es el estado final
Autmata en JFLAP
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.
BIBLIOGRAFIA