Aporte 1

Nombre: JERSON DANILO REYES CUARAN

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

2. Plasme la tabla de transición.

Respuesta:


 3. Identifique los elementos
Respuesta:
Se refiere a una secuencia de valores agrupados Formalmente, un autómata finito
es una 5-tupla (Q, Σ, q0, δ, F) donde:

Q es un conjunto finito de estados.

∑ es un alfabeto finito;
q0 ϵ Q es el estado inicial;
δ: Q x ∑ → Q es una función de transición;
es un conjunto de estados finales o de aceptación.

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

Explique cada secuencia. (No se trata solo de captura debe explicar)

Respuesta:
Comprobando cadena valida

 Ingresamos la cadena 1101011 que es una palabra aceptada

 Se inicializa el autómata en Q 0 que es la entrada

 Continua el recorrido en q1 en 1 y valida

 Continua el recorrido, encuentra atributo final busca

transición en 1 y valida

 Continua el recorrido en q2, encuentra atributo final, busca

transición en 0 y valida
 Continua el recorrido en q5, encuentra atributo final, busca
transición en 1 y valida

 Continua el recorrido en q2, encuentra atributo final, busca

transición en 0 y valida

 Continua el recorrido en q5, encuentra atributo final, busca

transición en 1 y valida
  Continua el recorrido en q8, encuentra atributo final, busca
transición en 1 determinando que la valides de la cadena

5. Diagrama moore generado en JFLAP y en VAS (comparación)

Respuesta:

de AFND a AFD es algo en común ya que los dos para trabajar con autómatas
Poseen la herramienta de conversión.

Mas sin embargo se diferencian pues JFLAP permite correr varias cadenas de
entrada al tiempo y evaluar su grado de aceptabilidad al compararlo con VAS,
JFLAP tiene más herramientas de simulación. (JFLAP: input/ step by step ) y en
VAS: debug one step).

 JFLAP
 VAS