Lenguajes y Autómatas I-Curso

Ingeniería en Sistemas Computacionales

LENGUAJES Y AUTÓMATAS I

Ing. Guadalupe Guendulay Escalante

Puedes escribir un subtítulo aquí

Nombre de la asignatura: Lenguajes y Autómatas

Plan de estudios: ISIC-2010-224 Clave de la asignatura: SCD-1015 Horas teoría – horas prácticas – créditos: 2 – 3 – 5

Caracterización de la asignatura

En esta asignatura se abordan todos los temas relacionados con teoría de lenguajes formales, algo que permite vislumbrar los procesos inherentes, y a veces, escondidos dentro de todo lenguaje. Las formas de representación formal, procesamiento e implementación de lenguajes de programación se atacan desde un punto de vista de implementación. Los proyectos relacionados y los ejercicios de investigación acercan a los estudiantes al campo de lenguajes formales, base de los procesos de comunicación. Por último se revisan algunos de los puntos eje de la investigación de frontera que aún contienen problemas abiertos, un incentivo para la incorporación de estudiantes a las áreas de investigación.

Asignaturas con las que tiene relación la competencia general

Previas * Estructura de datos * Arquitectura de computadoras * Fundamentos de programación Programación orientada a objetos

Posteriores * Lenguajes y autómatas II

Competencia de la Asignatura

Define, diseña y programa las fases del analizador léxico y sintáctico de un traductor o compilador para preámbulo de la construcción de un compilador.

Competencia 1: Identificar los conceptos de lenguajes formales para comprender las fases de un compilador y traductor.

Introducción a la Teoría de Lenguajes Formales.

1.1 Alfabeto. 1.2 Cadenas. 1.3 Lenguajes, tipos y herramientas. 1.4 Estructura de un traductor. 1.5 Fases de un compilador.

Competencia 2: Crear y reconocer Expresiones Regulares para solucionar problemas del entorno.

Expresiones regulares.

2.1 Definición formal de una ER. 2.2 Diseño de ER. 2.3 Aplicaciones en problemas reales.

Competencia 3: Crear y reconocer autómatas finitos en un lenguaje de programación para la solución de un problema.

Autómatas Finitos.

3.1 Conceptos: Definición y Clasificación de Autómata Finito (AF). 3.2 Conversión de un Autómata Finito No Determinista (AFND) a Autómata Finito Determinista (AFD). 3.3 Representación de ER usando AFND. 3.4 Minimización de estados en un AF. 3.5 Aplicaciones (definición de un caso de estudio).

Competencia 4: Construir un analizador léxico a partir de un lenguaje de programación.

Análisis Léxico.

4.1 Funciones del analizador léxico.Funciones del analizador léxico. 4.2 Componentes léxicos, patrones y lexemas. 4.3 Creación de Tabla de tokens.Creación de Tabla de tokens. 4.4 Errores léxicos.Errores léxicos. 4.5 Generadores de analizadores Léxicos.Generadores de analizadores Léxicos. 4.6 Aplicaciones (Caso de estudio).

Competencia 5: Construir un analizador sintáctico a partir de un lenguaje de programación.

Análisis Sintáctico.

5.1 Definición y clasificación de gramáticas. 5.2 Gramáticas Libres de Contexto (GLC). 5.3 Árboles de derivación. 5.4 Formas normales de Chomsky. 5.5 Diagramas de sintaxis. 5.6 Eliminación de la ambigüedad. 5.7 Tipos de analizadores sintácticos.

Competencia 5: Construir un analizador sintáctico a partir de un lenguaje de programación.

Análisis Sintáctico.

5.8 Generación de matriz predictiva (cálculo first y follow). 5.9 Manejo de errores. 5.10 Generadores de analizadores sintácticos.

Competencia 6: Diseñar y construir o simular una Máquina de Turing (MT), para el reconocimiento de cadenas propias de lenguajes.

Máquinas de Turing.Máquinas de Turing.

6.1 Definición formal MT.Definición formal MT. 6.2 Construcción modular de una MT.Construcción modular de una MT. 6.3 Lenguajes aceptados por la MT.Lenguajes aceptados por la MT.