Verificación de Autómatas y Gramáticas

Abstract

La verificación de autómatas de estados finitos y de pila, y de gramáticas libres de contexto puede ser materia de enseñanza en una asignatura de Lenguajes Formales usando las metodologías descritas en este artículo. Se intenta mostrar que para los autómatas y gramáticas la verificación es posible en la práctica diaria. Las metodologías se basan en la asociación de significados (lenguajes) a los símbolos que aparecen en la solución de un problema (estado, contenido de la pila o variable de una gramática). Los significados corresponden a ciertas propiedades que son invariantes a través de las configuraciones. Los estudiantes de segundo curso de Ingeniería Informática han sido capaces de aplicar las metodologías y aumentar sus elementos de juicio a fin de asociar los significados de los símbolos que aparecen en la solución de un problema.