Generalidades sobre lenguajes. Gramáticas, Alfabetos, palabras y lenguajes, Operaciones con lenguajes, Operaciones booleanas, Producto (concatenación) de lenguajes, Potencia de un lenguaje, Cierre estrella (de Kleene) y cierre positivo, Cociente de un lenguaje por una palabra, Cociente de lenguajes, Inversión (reverso), Sustitución, Homomorfismo, Homomorfismo inverso, Gramáticas, Tipos de gramáticas. Jerarquía de Chomsky, Gramáticas regulares, Gramáticas incontextuales, Gramáticas contextuales, Gramáticas no restringidas o con estructura de frase, Propiedades de cierre, Ejercicios, Autómatas finitos, Introducción, Autómata Finito Determinista, Tabla y diagrama de transiciones, Extensión de la función de transición a cadenas, Lenguaje aceptado por un AFD, Ejemplos de aplicación, Autómata Finito no Determinista, Extensión de la función de transición a cadenas, Lenguaje aceptado por un AFN, Equivalencia entre AFD y AFN, Autómata Finito con transiciones vacías, Lenguaje aceptado por un AFA, Equivalencia entre AFA y AFN, Equivalencia entre Autómatas Finitos y Gramáticas Regulares, Ejercicios, Teorema de Nerode, Minimización de Autómatas Finitos, Preliminares matemáticos, Teorema de Nerode, Minimización de Autómatas Finitos, Ejercicios, Expresiones regulares, Definición y propiedades, Equivalencia entre expresiones regulares y autómatas finitos, Obtención de AF lambda a partir de expresiones regulares, Obtención de expresiones regulares a partir de autómatas finitos, Obtención de AFD a partir de expresiones regulares: el método de las derivadas, Reglas para el cálculo de derivadas, Método de obtención de autómatas finitos deterministas, Sistemas de ecuaciones en expresiones regulares, Sistemas de ecuaciones asociados a gramáticas y autómatas, Sistemas de ecuaciones asociados a autómatas finitos, Sistemas de ecuaciones asociados a gramáticas regulares, Ejercicios, Propiedades de la clase de los lenguajes regulares, El lema de bombeo para lenguajes regulares, Propiedades de cierre, Introducción, Unión, Concatenación, Clausura, Complementación, Intersección, Diferencia, Homomorfismos, Homomorfismos inversos, Cociente por la izquierda, Cociente por la derecha, Inversión (reversión), Otras aplicaciones de las propiedades de cierre, Ejemplos relativos a la aplicación de operaciones de cierre, Propiedades de decisión de los lenguajes regulares, Introducción, Algunos problemas decidibles para los lenguajes regulares, Ejercicios, Máquinas secuenciales, Transductores, Máquinas de Mealy y de Moore, Definición de los modelos, Equivalencias, Minimización, Ejercicios, Redes neuronales, Introducción. Modelos discretos y continuos, El modelo de McCulloch-Pitts, Células y estados, Agrupación de células y redes neuronales, Equivalencia entre autómatas finitos y redes neuronales.