Conceptos previos. Autómatas finitos. Gramáticas regulares. Expresiones regulares. Propiedades de los lenguajes regulares y lenguajes no regulares. Lenguajes y gramáticas independientes del contexto. Autómatas a pila. Propiedades de los lenguajes independientes del contexto. Introducción a las máquinas de turing. Ejercicios de autoevaluación. Solución a los ejercicios.