Tarea integradora

Carlos Alberto Ramrez Velzquez

El presente documento es una tarea integradora de la asignatura de
Autmatas Universidad Da Vinci.

Matricula: A0102541710
Introduccin
La unidad se realizarn trabajos con NFA que son un tipo de autmatas, que
poseen un conjunto finitos de estados internos, alfabetos y tablas de transiciones

Aspecto 1
Determina un NFA con tres estados que acepte el lenguaje {ab,abc}*. Utiliza el
software JFLAP.

Ilustracin 1 NFA generado con JFLAP

Aspecto 2
Utiliza el software JFLAP para convertir el NFA con tres estados que acepte el
lenguaje {ab,abc}* a un DFA. Utiliza la opcin Convert-> Convert To DFA

Ilustracin 2 tranformacin del NFA al DFA

Aspecto 3:
Dibuja el NFA a travs del software JFLAP.

Ilustracin 3 NFA generado con base en la tabla proporcionada

Aspecto 4:
Cules son los beneficios de los Autmatas finitos no deterministas en el entorno
laboral?

En el campo de las teoras computacionales reduce el trabajo de matemtica

necesario para llevarlo acabo.

Cules son los beneficios de utilizar el software JFLAP para el NFA?

Dentro de los beneficios es que nos auxilia en la experimentacin y proyeccin

grfica. De la misma forma nos ayuda en la conversion de NFAa DFA.
Conclusin
Este trabajo me ayudo a comprender un poco mejor los autmatas finitos no
determinantes y como representarlos en el programa especializado que utilizamos
como lo es el JFLAP.

Referencias
jflap org. (2010). Building Your First Finite Automaton. Sbado 29 de enero del
2017, de jflap org Sitio web: http://www.jflap.org/tutorial/fa/createfa/fa.html

Elana Jurado Mlaga. (2008). Teora de autmatas y lenguajes formales. Cceres,

Espaa: Universidad de Extremadura - Servicio de publicaciones.

Araceli Sanchis de Miguel. (2006). Teora de Autmatas y Lenguajes Formales

Prcticas Introduccin a JFLAP. Madrid, Espaa : Universidad Carlos III.