COMP 5110 Teoría Autómata y Lenguajes Formales
Diseño de diferentes tipos de autómatas. Visualización de los distintos conceptos involucrados en la teoría autómata. Discusión de algunos aspectos relacionados con los autómatas y los lenguajes formales. Estudio de las relaciones entre los lenguajes formales y los autómatas, así como algunas de las formas de especificación de los lenguajes y sus propiedades computacionales. Requiere laboratorio abierto.