ToTalf: Tutorial online para Teoría de Autómatas y Lenguajes Formales

Abstract

El Tutorial Online para Teoría de Autómatas y Lenguajes Formales (ToTalf) ha sido diseñado como una herramienta de apoyo a la realización de prácticas en la asignatura de Teoría de Autómatas y Lenguajes Formales. En los planes de estudios de la Universidad de La Laguna, esta asignatura aparece con una fuerte componente práctica (la mitad de sus créditos) de modo que las prácticas de laboratorio constituyen una parte esencial de la misma. ToTalf permite a los alumnos experimentar con los conceptos estudiados en las clases de teoría, a través de la ejecución de distintos algoritmos que se aplican sobre los diferentes tipos de modelos de cómputo que se estudian en las clases teóricas. La herramienta ha sido desarrollada en Java, y está disponible tanto en forma de aplicación como de applet, de modo que los alumnos pueden instalarla localmente en sus ordenadores o bien utilizarla a través de cualquier navegador. Dispone de un sistema de ayuda que facilita el uso de la interfaz de usuario y para cada uno de los diferentes modelos de cómputo contemplados se ofrecen al usuario ejemplos predefinidos que se pueden cargar directamente y que también ilustran el modo de operación de la herramienta. Uno de los objetivos esenciales en el diseño de la herramienta ha sido que ésta fuera una aplicación abierta de modo que en el futuro sea muy fácil incorporar nuevas funcionalidades, ejemplos o completar y/o modificar el sistema de ayuda. El proyecto ToTalf ha sido financiado por el Vicerrectorado de Calidad Docente y Nuevos Estudios de la Universidad de La Laguna en la II Convocatoria de Proyectos de Innovación Docente.