Temario

Temario

• 1 Introduccion a la Teoria de Lenguajes Formales.

• 1.1 Alfabeto Lenguajes Formales.

• 1.2 Cadenas Lenguajes Formales.

• 1.3 Lenguajes Formales

• 1.4 Tipos de lenguajes Formales

• 1.5 Herramientas computacionales ligadas con lenguajes

• 1.6 Estructura de un traductor

• 1.7 Fases de un compilador

• 2 Expresiones Regulares

• 2.1. Definicion formal de una Expresion Regular

• 2.2. Operaciones Expresion Regular

• 2.3. Aplicaciones en problemas reales.

• 3 Automatas Finitos.

• 3.1 Definición formal Automatas Finitos

• 3.2 Clasificacion de Automatas Finitos

• 3.3 Conversion de un AFND a AFD

• 3.4 Representacion de Expresion Regular usando AFND

• 3.5 Minimizacion de estados en un Automata Finito

• 3.6 Aplicaciones Automatas Finitos (definición de un caso de estudio)

• 4 Maquinas de Turing

• 4.1 Definición formal Maquina de Turing

• 4.2 Construccion modular de una Maquinas de Turing

• 4.3 Lenguajes aceptados por la Maquina de Turing.

• 5 Analisis lexico.

• 5.1 Funciones del analizador lexico

• 5.2 Componentes lexicos patrones y lexemas

• 5.3 Creacion de Tabla de tokens

• 5.4 Errores lexicos

• 5.5 Generadores de analizadores Lexicos

• 5.6 Aplicaciones analizadores Lexicos (Caso de estudio)

• 6 Analisis Sintactico

• 6.1 GLC

• 6.2 Arboles de derivacion.

• 6.3 Formas normales de Chomsky.

• 6.4 Diagramas de sintaxis

• 6.5 Eliminacion de la ambigüedad.

• 6.6 Generacion de matriz predictiva ( calculo first y follow )

• 6.7 Tipos de analizadores sintacticos

• 6.8 Manejo de errores

• 6.9 Generadores de analizadores sintácticos