EJERCICIO

POR TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Identificación de la quíntupla del autómata

K= es un conjunto infinito de estados

∑= es un alfabeto finito de símbolos de entrada
S= estado inicial
F= es el conjunto de estados finales
R= relación de transiciones

- Plasme la tabla de transición

1 0
q0 q1 q2
q1 --- q3
q2 --- q1, q3
q3 q1, q2 ----

- Identificación del Autómata Finito Determinista o

Autómata Finito No Determinista

Es un autómata finito no determinista, ya que q2 va a q1 y a

q3 en 0

- Explicar las características del tipo de autómata

Que cada símbolo de entrada puede estar en varios estados

de manera simultanea

Procedimiento de conversión de Realice de manera detallada el procedimiento paso

Autómata a paso de la conversión del autómata a expresión
Finito a Expresión Regular paso regular y según ejemplo revisado.
a paso

- Paso 1… identificamos el paso inicial y el final

Estado inicial: q0
Estado final: q1 y q3

- Paso 2…

1 0
q0 q1 q2
q1 --- q3
q2 --- q1, q3
q3 q1, q2 ----

1 0
q1, q3 q1, q2 q3
q1, q2 --- q1, q3

1 0
q0 q1 q3
q1, q3 q1, q2 q3
q1, q2 ---- q1, q3
q3 q1, q2 -----

Autómata Final convertido

Practicar y verificar lo Apoyándose en el simulador JFlap JFLAP (Anexo 1 - JFLAP) o
aprendido VAS (Anexo 2- VAS) ejecutar los dos autómatas, el original y
el autómata resultado final de la conversión y validar por lo
menos tres cadenas válidas y tres cadenas rechazadas.
En este espacio agregar las imágenes tomadas del
simulador utilizado.

Autómata original:

Autómata convertido: