1. Conjuntos matemáticos y operadores de conjuntos;
2. Lenguajes formales vs lenguajes naturales;
3. La jerarquía de Chomsky;
4. Propiedades de los lenguajes regulares;
5. Autómatas finitos determinísticos;
6. Autómatas finitos no-determinísticos;
7. Conversión de autómatas finitos no-determinísticos a determinísticos, y
8. Gramáticas regulares.

1. Conceptos teóricos;
2. Propiedades;
3. Formulación práctica;
4. Simbología y nomenclatura;
5. Reconocimiento de patrones en cadenas de texto;
6. Búsqueda y sustitución de cadenas;
7. Preprocesamiento de datos no estructurados, y
8. Las expresiones regulares aplicados a problemas del mundo real.

Lenguajes libre de contexto

1. Propiedades de los lenguajes de contexto libre;
2. Gramáticas libre de contexto;
3. Autómatas de pila;
4. Gramáticas ambigüas;
5. Desambigüación de gramáticas, y
6. Los lenguajes libre de contexto aplicados a problemas del mundo real.

1. Descripción de las máquinas de Turing;
2. Concepto de computación;
3. Máquinas de Turing como reconocedores de lenguajes;
4. Máquinas de Turing como transductores;
5. Complejidad en las máquinas de Turing;
6. Máquinas de Turing y la inteligencia artificial;
7. Máquinas de Turing y la ciencia cognitiva, y
8. Lenguajes reconocidas por las máquinas de Turing;

1. Propiedades de los lenguajes sensibles al contexto;
2. Gramáticas sensibles al contexto;
3. Máquinas de Turing sensibles al contexto, y
4. Los lenguajes sensibles al contexto aplicados a problemas del mundo real.