Aportes para la enseñanza de teoría de autómatas y lenguajes formales

Abstract

La teoría de autómatas y lenguajes formales conforma la base conceptual de numerosas áreas de la Informática. Su contenido resulta abstracto por su fuerte sabor matemático, lo que dificulta la comprensión de los estudian tes de ingeniería en los primeros años. Como productos del proyecto “Detección de erro res sintácticos bajo el algoritmo de Earley” se han desarrollado explicaciones detalladas, módulos de software y ejemplos de aplica ción, que pueden ser de utilidad como ele mentos didácticos para la enseñanza de estos temas y para la práctica efectiva de la teoría en laboratorio. Además, se han desarrollado seminarios de actualización para docentes y una propuesta de cambio en la teoría de au tómatas con el objetivo de acercar la teoría a la práctica real.