Documente Academic
Documente Profesional
Documente Cultură
formales.
Tutor
CEAD Valledupar
Marzo de 2019
Actividad Colaborativas
Teniendo en cuenta los ejercicios desarrollados por los estudiantes el Grupo,
selecciona uno de los autómatas finitos deterministas (AFD). Con base en ese
autómata desarrollan:
Ejercicio 5
a b c
q0 q1 - q0
q1 - q2 -
q2 - - -
3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.).Debe
explicar y describir cada elemento y la función y significado en el autómata.
Conceptos y definiciones adicionales.
( )
( )
( )
( )
( )
Conceptos y definiciones adicionales
AFD: Autómata Finito Determinístico. Consiste en un grupo de estados y un conjunto
de transiciones de estado a estado, que se dan sobre símbolos de entrada tomados de
un alfabeto S. Para cada símbolo de entrada existe exactamente una transición a
partir de cada estado. El estado q0, es el estado inicial, en el que el autómata
comienza. Algunos estados están designados como final o de aceptación.
Autómata: Una máquina abstracta cuyos mecanismos de mando fueron diseñados
para seguir una sucesión predeterminada de funcionamientos automáticamente o
responder a las instrucciones incluidas en el código. El autómata que se estudia se
idealiza en máquinas cuya conducta puede ser explicada en términos de algún sistema
descriptivo formal donde se manipulan símbolos en lugar de hardware.
La palabra vacía Es la misma para todos los alfabetos y se denota como λ.
Los estados: Son las diferentes situaciones o combinaciones que se pueden
presentar en el autómata, además son círculos que llevan dentro el nombre que los
identifica.
El estado inicial: Nos brinda la pauta para saber por dónde es la salida o partida del
autómata. Se le reconoce porque tiene una pequeña flecha sobre este.
El estado final: Nos representa un estado de aceptación.
Las transiciones: son los respectivos movimientos que se presenta entre un estado y
otro. En la tabla de transición al estado inicial suele señalarse con una flecha y al
estado final con el signo numeral.
4. Muestre en el simulador (gráficamente) como recorre una cadena válida.
Explique cada secuencia. (No se trata solo de captura las imágenes, estas
deben ser explicadas en pie de página o de lo contrario no tienen validez)
Cadena válida: ccb
Estado inicial q0
Gregori, J. F. (2012-01-01). Matemática discreta (2a. Ed.). En J. F. Gregori, Matemática discreta (2a. Ed.) (págs. 207-
232). Editorial Reverté.