Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se

tendrá en cuenta las respuestas o simulaciones en jFlap o VAS.

Actividad 3:
Teniendo en cuenta el siguiente autómata realice:

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

2. Plasme la tabla de transición.
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.
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 pié de página o de lo contrario no tienen validez)
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 ofrezcan uno u otro).

Desarrollo
1. Describa la forma matemática del autómata.
 El autómata finito determinista(AFD) se define como una quíntuplas
M (  , Q,  , q0, F )

2. Plasme la tabla de transición.

0 1
->q0 q3 q1
q1 q2 q1
#q2 q4 q5
q3 q0 q1
#q4 q4 q8
q5 q2 q8
q6 q7 q3
q7 q8 q3
#q8 q7 q4

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.
Tupla: Es una lista ordenada de elementos. Una n-Tupla es la secuencia o lista de ordenada
de n elementos, siendo n un número natural (no negativo). Se puede decir que n-Tupla se
define desde la construcción de un par ordenado de elementos.

Un autómata finito no determinista es una tupla N = (K,Σ,δ,s,F) donde: K

es un conjunto (finito) de estados, ... s ∈ K es el estado inicial, y F ⊆ K es el
conjunto de los estados aceptadores.

Estado inicial: Es el estado inicial donde empieza la ejecución y entrada de símbolo de

alfabeto a la máquina. Y debe hacer parte de Q y en este caso corresponde q0.

Alfabeto: Símbolos que aceptan los diferentes estados del autómata. En este caso Σ
= {a, b}.
Estado Final (F): Conjunto de estados de aceptación o estado finales que debe pertenecer a
Q. en este caso corresponde F= {q2, q4, q8}.

δ: Función de transición de un estado a otro. En este ejercicio la función de transición esta

descrita en la tabla anterior.
 4. Muestre en el simulador (gráficamente) como recorre una cadena válida.

A continuación muestro gráficamente simulando cada una de las transiciones que recorre una
cadena valida como el siguiente: “11111001”.

Figura1.

Figura1. Antes de iniciar con el proceso de transición y evaluación de cada uno de los símbolos del
alfabeto. Se inicia con el estado q0.

Figura2
Figura2: El primer símbolo de la cadena “1” es aceptado por el autómata pasa del estado q0
a q1.

Figura3

Figura3: Debido a que el autómata acepta una cadena de varios unos “111” (Estrella de
kleene), como es el caso de los elementos de la cadena siguiente no cambia de estado y por
lo tanto se queda en el estado actual q1.

Figura4
Figura4: El siguiente símbolo de la cadena es “0” y el autómata lo acepta y pasa del estado
q1 a q2 y este es uno de los estados finales del autómata.

Figura 5

Figura5: Como el sexto símbolo del alfabeto es “0” el autómata cambia de estado de q2 a q4.

Figura6
Figura6: El siguiente símbolo es “0”, debido a que el autómata pueda recibir varios ceros, el
autómata no presenta una transición, por tanto se queda en el estado q4.

Figura7

Figura7: El ultimo símbolo del alfabeto aceptado por el autómata es “1” pasa de q4 a q8, que
es el estado final de esta maquuina.

https://issuu.com/yolandagarcia01/docs/grupo_51_fase2