Universidad Nacional de Loja

Ingeniería en Sistemas

Demostración de la aplicación para transformar un Autómata

Finito no Determinista a un Autómata Finito Determinista.

Nataly OchoaNadia Proaño

Se tomará el siguiente autómata para la demostración:

Donde su definición formal es:Estado a B

0,1,2,4,7 3,8,1,2,4,6,7 5,1,2,4,6,7

3,8,1,2,4,6,7 3,8,1,2,4,6,7 9,5,1,2,4,6,7

5,1,2,4,6,7 3,8,1,2,4,6,7 5,1,2,4,6,7

9,5,1,2,4,6,7 3,8,1,2,4,6,7 5,10,1,2,4,6,7

5,10,1,2,4,6,7 3,8,1,2,4,6,7 5,1,2,4,6,7

Transformado en un AFD su definición formal es:

Estado A B

A B C

B B D

C B C

D B E

E B C

UTILIZANDO LA APLICACIÓN

1. Ejecutamos el programa2. Ingresamos los datos solicitados

3. Clic en el botón Crear Tabla e ingresamos la definición formal del AFN.

PASOS:

PASOS:4. Clic en el botón Transformar.

5. Se abrirá una nueva ventana con la definición formal del AFD es decir se ha transformada el AFN en AFD.