| Unidad |
Temas |
Subtemas |
| 1 |
Introducción a la
Teoría de Lenguajes
Formales. |
1.1 Alfabeto.
1.2 Cadenas.
1.3 Lenguajes
1.4 Tipos de lenguajes
1.5 Herramientas computacionales ligadas con lenguajes
1.6 Estructura de un traductor
1.7 Fases de un compilador |
| 2 |
Expresiones
Regulares |
2.1. Definición formal de una ER
2.2. Operaciones
2.3. Aplicaciones en problemas reales. |
| 3 |
Autómatas Finitos. |
3.1 Definición formal
3.2 Clasificacion de AF
3.3 Conversión de un AFND a AFD
3.4 Representación de ER usando AFND
3.5 Minimización de estados en un AF
3.6 Aplicaciones (definición de un caso de estudio) |
| 4 |
Máquinas de Turing |
4.1 Definición formal MT
4.2 Construcción modular de una MT
4.3 Lenguajes aceptados por la MT. |
| 5 |
Análisis léxico.
|
5.1 Funciones del analizador léxico
5.2 Componentes léxicos, patrones y lexemas
5.3 Creación de Tabla de tokens
5.4 Errores léxicos
5.5 Generadores de analizadores Léxicos
5.6 Aplicaciones (Caso de estudio)
|
| 6 |
Análisis Sintáctico |
6.1 GLC
6.2 Árboles de derivación.
6.3 Formas normales de Chomsky.
6.4 Diagramas de sintaxis
6.5 Eliminación de la ambigüedad. |
