Una evaluación de los simuladores de autómatas existentes a los fines de su implementación práctica en la materia Sintaxis y Semántica de los Lenguajes en la carrera de Ingeniería en Sistemas de Información de la Universidad Tecnológica Nacional Facultad Regional Córdoba.

Abstract

Un autómata finito es 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. Si el autómata sólo se limita a reconocer cadenas el mismo estará 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. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadena de símbolos pertenecientes al alfabeto de entrada, y va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un estado de aceptación o de rechazo. Dentro de los autómatas finitos se destacan el autómata finito determinista y el no determinista, la diferencia entre ambos radica en la función de transición, en la cual para el autómata determinista a cada estado le corresponde una única transición, es decir que para un estado determinado y ante un símbolo leído existe siempre una sola transición posible, mientras que en el autómata finito no determinista existen múltiples transiciones posibles desde un estado y un símbolo de entrada. Los autómatas finitos se utilizan en diferentes tipos de aplicaciones tales como las industriales y por supuesto las informáticas; por ejemplo en la implementación de ingeniería de software, lenguajes de programación y otras áreas prácticas de las ciencias de la computación.