Desarrollo de software de apoyo a la enseñanza de la teoría de lenguajes y autómatas y al diseño de compliladores

Abstract

El proyecto aquí descripto fue realizado por la cátedra de Autómatas y Lenguajes de la UNRC y propone la creación gradual de una biblioteca de herramientas de software para resolver los problemas decidibles estudiados en la asignatura, tales como la transformación de un NFA en un DFA, la reducción de autómatas finitos, la decisión sobre la vacuidad, finitud o equivalencia de lenguajes regulares, entre otros. En la actualidad se dispone de herramientas estándar que no resuelven pasos intermedios ni abordan casos que si bien no se presentan frecuentemente en las aplicaciones, sí tienen importancia desde el punto de vista didáctico. El proyecto tiene, por lo tanto, una doble finalidad: por un lado proponer a los alumnos el desarrollo de las herramientas mencionadas a través del desarrollo de módulos de software que implementen los modelos y las soluciones estudiados en la asignatura, y por otro enriquecer el trabajo práctico de los alumnos a medida que se va disponiendo de las herramientas desarrolladas, ya que con su asistencia se pueden abordar problemas más complejos e insumir menos tiempo en cálculos rutinarios. En cuanto a los objetivos del proyecto referentes al proceso de enseñanza-aprendizaje, se pretende que el alumno comprenda profundamente la retroalimentación entre el desarrollo teórico y el avance en el campo de las aplicaciones, que sea capaz de transformar algoritmos complejos desde una definición de muy alto nivel hasta su implementación en computadora, y que sea capaz de resolver problemas complejos asistiéndose en el uso de herramientas existentes.