automata


Nombre:
Matrícula:
Nombre del curso:

Nombre del profesor:

Módulo:
Autómatas finitos deterministas
Actividad:
Diseño de un autómata finito

Fecha: 21 septiembre 2013
Bibliografía:-Apuntes de clase.
-Información disponible en
ftp://ftp.icesi.edu.co/abustamante/Material%20Inf%20Te%F3rica/Cap2.pdf


Objetivo:
Obtener el diseño de un autómata que lea cadenas compuestaspor 0 y 1, pero solo aquellas en las que el antepenúltimo numero sea 1.

Procedimiento:
Determinar las condiciones y definir la quíntupla del autómata de acuerdo a las cadenas que deben seraceptadas. Desarrollar el diseño del autómata, comprobaciones del resultado final.













Resultados:
Quíntupla:
Q= {1, 2, 3, 4, 5, 6, 7, 8, 9}
Σ= {0, 1}
δ= { ((1,0),1), ((1,1),2),((2,0),4), ((2,1),3), ((3,0),6), ((3,1),5), ((4,0),8), ((4,1),7), ((5,0),6), ((5,1),5), ((6,0),9), ((6,1),7), ((7,0),4), ((7,1),3), ((8,0),1), ((8,1),2), ((9,0),1), ((0,1),2) }
1∈Q es el inicio
F= {5,6, 7, 8, 9}
Diseño del autómata


1
0

1 0

0 0
1 0
1
1
1
1
0
0
1

0
1

0





Conclusión:
Representamos medianteel diseño de un autómata finito determinista los casos para los cuales se tiene en todo estado una acción para cada una de las opciones. Podemos encontrar similitud en casos de programación en donde serequiere validar cadenas de caracteres, ya sea para identificar una serie en específico que nos indique alguna acción dentro del código. Así mismo podemos representar las iteraciones que se llevan acabo bajo ciertas circunstancias, comúnmente llamadas bucles.
Es posible visualizar casos de líneas de producción en donde se tome en cuenta la decisión tomada para llegar a un determinado estado,de acuerdo con el cumplimiento de condiciones.

Los autómatas son una representación formal muy útil,
que permite modelar el comportamiento de diferentes
dispositivos, máquinas, programas, etc....