Académique Documents
Professionnel Documents
Culture Documents
Introduccin
Los autmatas son en gran medida la base del mundo industrializado y de diversidad
tecnologa en el cual vivimos, de all se denota la importancia en su estudio.
El trabajo presentado a continuacin se centra en el desarrollo del momento 1 del curso
donde se plasmara diferentes ejercicios prcticos los cuales abarcaran diferentes temticas
como expresiones regulares y autmatas finitos.
Objetivo general
Estudiar y reconocer acerca de los autmatas y los lenguajes o tipos de canas que este
logra procesar.
Objetivos especficos:
-
Interactuar con autmatas finitos y lograr identificar y/o diferenciar si son autmatas
finitos determinsticos AFD a autmatas finitos no determinsticos AFND.
Interactuar con diversas herramientas didcticas como JFLAP y VAS que nos
permitan graficar o lograr identificar el funcionamiento de un autmata
Desarrollo momento 1
1. Encuentre la expresin mnima simplificada correspondiente y una posible expresin
equivalente escrita en otra forma.
ER
ER Simplificada
(0(1) ) + 1
01 + 1
ER ALTERNA O EQUIVALENTE
Aplicamos propiedad 2
ER1
01 + 1 = 1 + 01
Aplicando propiedad 10
ER2
+ 1 + ( + 1) + ( + 1) =
+ 1 + ( + 1)( + 1) (
+ 1 + ( + 1)
(1)
+ 1)
Aplicando propiedad 21
+ 1 + ( + 1) = (1)
0 + ( + 1)(1) 0
ER3
0 + 11 0
0 + ( + 1)( + 1) 0
0 + ( + 1)1 0
0 + 11 0
1 0 + 1 0(0 + 1) ( + 0 + 1)
ER4
1 0 + 1 0( + 0 + 1) ( + 0
1 00(1 + 0) 01
1 0 + 1 0(0 + 1) 01
+ 1)
1 00(1 + 0) 01
ER5
((0 + 1)1)
011
0+11
3 2
(2,0) = 2
(2,0) = 3
Como este adopta dos estados al mismo tiempo que son q2 y q3 algo caracteristicos
de los autmatas no determinsticos.
2.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.
Ya que el autmata es un autmata finito recordemos que los autmatas finitos en el caso del
autmata estudiado identificado como un autmata finito determinista que se lo define como
la como una 5-tupla (Q, , q0, , F) donde:
es un conjunto de estados;
es un alfabeto;
es el estado inicial;
es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.
Se hizo la primera prueba con una cadena sencilla (1100001101) para estudiar su recorrido.
Al iniciar la transicin podemos {11} notar como el autmata entra en su estado inicial con
los dos primeros valores de la cadena (0,1) = 0
Al seguir con su siguiente valor {110} podemos notar que el autmata pasa al estado q1
(0,0) = 1
Siguiendo con su transicin de la cadena {1100} podemos notar que el autmata pasa a su
siguiente estado que es q2
Podemos notar el caso especial siguiendo la cadena {11000} como el autmata puede adoptar
dos estados al mismo tiempo ya que ambos pueden aceptar estos mismos datos de entrada de
la cadena, algo caracterstico de los AFND.
DIFERENCIAS
JFLAP
VAS
rojo.
y viceversa.
estrella de kleene.
kleene.
SIMILITUDES
= 4
= (0,1)
K = 0 , 1 , 2 , 3 , 4
S = 0
F =
3.3.Muestre en el simulador como recorre una cadena valida. Explique cada secuencia
Continuado con el estudio de la cadena el autmata pasa del estado q1 al estado q2 al tomar
el siguiente valor {1100}
Llegando asi al final del estudio completo de la cadena de entrada {110001} donde el ultimo
valor hace que el autmata entre a su estado final que es q4 (3,1) = 4
Ntese que a diferencia el autmata finito no determinstico el autmata solo toma un estado
dentro de su transicin en comparacin con el anterior, determinado as que este es un
autmata finito determinstico.
3.4.Muestre el diagrama de Moore generado en JFLAP y VAS
1*001*00*1((0+11*0)0*1)*
1*
00 1*
0* 1
00
00
00 1*
00
((0+11*0)0*1)*
1
1
0* 1
1
10
((0+11*0)0*1)*
Conclusiones
Durante el desarrollo de esta actividad se apropiaron los conceptos para la creacin de
Autmatas y Lenguajes Formales, tales como Alfabetos, cadenas y Lenguajes.
Se evidencio a travs de ejercicios prcticos la diferencia entre Autmatas Finitos
Determinsticos y No determinsticos, sus transiciones y se aprendi el uso de herramientas
como JFLAP y Visual Autmata Simulator mediante ejercicios prcticos.
Bibliografa