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.
Según Gonzalez, un autómata es una 5-tupla (K, Σ, δ, s, F) donde:
K es un conjunto finito de estados.
Σ es un alfabeto finito de símbolos de entrada.
s es el estado inicial en K.
F es el conjunto de estados finales o de aceptación y (evidentemente)
subconjunto de K.
2
La cadena válida para evaluar, y que es una palabra aceptada por el autómata es:
aab.
Se inicia el autómata en el estado q0, que es la entrada:
4
La palabra aab inicia con el caracter “a”, partiendo del estado q0 y toma el camino
hacia el estado q1:
Referencias
Alfonseca, E., Alfonseca, M., & Mariyón, R. (2007). Teoría de autómatas y lenguajes
formales. McGraw-Hill España. Obtenido de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/detail.action?docID=319512
9
Carrasco, R., Calera, J., & Forcada, M. (Alicante). Teoría de lenguajes, gramáticas y
autómatas para informáticos. 2000: Publicaciones de la Universidad de Alicante.
Obtenido de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=
318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover
Gonzalez, A. (30 de mayo de 2016). Conversion de AFN a AFD. Obtenido de Youtube:
https://www.youtube.com/watch?v=29Qp_AWXFt4
Gonzalez, A. (19 de junio de 2017). Conceptualización de autómata. Obtenido de
Youtube: https://www.youtube.com/watch?v=zMhwYlXAHE4
Gonzalez, A. (28 de mayo de 2018). Expresiones regulares. Obtenido de Youtube:
https://www.youtube.com/watch?v=65B5QUNHfaM
Hernández, L., Jaramillo, S., & Cardona, S. (2010). Practique la teoría de autómatas y
lenguajes formales. Armenia: Ediciones Elizcom. Obtenido de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/detail.action?docID=319984
5