Una evaluación de los simuladores de autómatas finitos existentes.

Abstract

La asignatura Sintaxis y Semántica de los Lenguajes que corresponde al Segundo Año de la carrera de Ingeniería en Sistemas de Información, dentro de su contenido están los autómatas finitos, éstos son un modelo matemático abstracto compuesto por una cantidad finita de estados que tiene como objetivo recibir entradas y generar salidas en el caso más general. El autómata está conformado por un alfabeto de entrada, un conjunto de estados finito, una función de transición, un estado inicial y un conjunto de estados finales. La función de transición recibe a partir de un estado inicial una cadena de símbolos del alfabeto de entrada, y va desplazándose de un estado a otro, para detenerse en un estado de aceptación o de rechazo. Dada la característica altamente abstracta de los mismos es que se considera la utilización de simuladores de éstos autómatas a fin de ayudar a los alumnos en la comprensión de su funcionamiento. El actual proyecto se encuentra en vías de realizar la evaluación de los simuladores existentes a fin de determinar cuál de ellos es el más adecuado. Las conclusiones del trabajo serán presentadas en breve, al finalizar el proceso de evaluación de los simuladores