1

1. Describa la forma matemática del autómata.

Para describir matemáticamente el autómata, se referencian las ecuaciones
resultantes de la transición de sus estados, así:
𝑞0 = 𝑎𝑞1 + 𝑏𝑞2
𝑞1 = 𝑎𝑞1 + 𝑏𝑞2
Estas ecuaciones quieren decir que, el estado q0 tiene dos transiciones, la primera
con a que le lleva al estado q1, a este le adicionamos b que le lleva al estado q2.

2. Plasme la tabla de transición.

Las ecuaciones del autómata pueden plasmarse en la siguiente tabla de transiciones:
a b
->q0 q1 q2
q1 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.
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

 δ es la relación de transiciones, que a partir de un estado y un símbolo del

alfabeto obtiene un nuevo estado. (Conceptualización de autómata, 2017).
Por lo tanto, la representación formal de cada uno de los elementos descritos
anteriormente para el autómata elegido es:
𝐾 = {𝑞0, 𝑞1, 𝑞2}
Σ = {𝑎, 𝑏}
s = 𝑞0
F = {𝑞2}
En el caso de δ tenemos que interpretar las transiciones así:
δ = {𝑞0, 𝑞1, 𝑞2} × {𝑎, 𝑏} → {𝑞0, 𝑞1, 𝑞2}
Donde se obtiene que:
δ(𝑞0, 𝑎) = 𝑞1
δ(𝑞0, 𝑏) = 𝑞2
δ(𝑞1, 𝑎) = 𝑞1
δ(𝑞1, 𝑏) = 𝑞2

Obteniendo que la representación matemática final del autómata es:

𝑀 = ({𝑞0, 𝑞1, 𝑞2}, {𝑎, 𝑏}, δ, q0, {q2})
 3

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)

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:

El segundo carácter de la palabra aab es “a”, quedándose en el mismo estado:

 5

La palabra aab finaliza con el carácter “b” y llega al estado q2 donde se da la

aceptación:

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres

similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(Ventajas que ofrezca uno u otro).
 6

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