Sintaxis y Semántica de los Lenguajes Régimen de Dictado: Cuatrimestral

Transcripción

1 Sintaxis y Semántica de los Lenguajes Régimen de Dictado: Cuatrimestral Esp. Ing. Andrés J. Pascal

2 Índice de Contenidos Nombre de la Materia... 1 Datos de la Asignatura... 3 Composición del Equipo Docente... 3 Profesor:... 3 Auxiliar:... 3 Fundamentación de la materia dentro del plan de estudios y en relación al perfil del graduado... 4 Objetivos y/o Propósitos... 4 Programa sintético... 4 Programa analítico... 4 Metodología de enseñanza-aprendizaje... 4 Evaluación... 4 Requisitos para regularizar la asignatura Requisitos para promocionar la asignatura en forma directa... 5 Fechas probables de examenes... 5 Descripción de las acciones del equipo docente para el seguimiento, orientación y apoyo a los alumnos... 5 Integración con otras materias... 5 Integración vertical... 5 Integración horizontal... 5 Bibliografía... 5 Recursos Didácticos... 5 Cronograma de clases... 6

3 Datos de la Asignatura Carrera: Ingeniería en Sistemas de Información Asignatura: Sintaxis y Semántica de los Lenguajes Código: K9527 Docente Responsable: Esp. Ing. Andrés Jorge Pascal Cargo y situación: Profesor Titular Concursado Área: Programación Bloque Curricular: Tecnologías Básicas Carácter: Obligatoria Régimen de Dictado: Cuatrimestral Horas: 8 hs Composición del Equipo Docente Profesor: Apellido y nombre: Pascal, Andrés Jorge Título de grado: Ingeniero en Sistemas de Información Título de posgrado: Especialista en Ciencias de la Computación Cargo docente: Profesor Titular Concursado Auxiliar: Apellido y nombre: Álvarez Claudia Mabel Título de grado: Ingeniera en Sistemas de Información Título de posgrtado: Especialista en Ciencias de la Computación Cargo docente: Auxiliar del Primera Concursado Fundamentación de la materia dentro del plan de estudios y en relación al perfil del graduado Dentro de las actividades del profesional en sistemas de información, el conocimiento y la aplicación de los lenguajes de programación es fundamental, tanto para el análisis y diseño de sistemas como para el desarrollo de software. En ambos

4 casos es necesario el dominio de dichos lenguajes, objetivo hacia el cuál esta asignatura realiza su contribución principal. La definición de lenguajes permite formalizar instrumentos para el análisis del sistema, como también posibilita la creación de dialectos que se utilizan en diversas aplicaciones, tales como: cálculo de sueldos, robótica, simulación, procesamiento del lenguaje natural, etc. Otro uso práctico es la definición de reglas de validación de formatos. Específicamente contribuye también a la formación básica del profesional, a la compresión de los procesos de traducción de programas, y al desarrollo de herramientas que automatizan dichos procesos, a saber: compiladores, intérpretes, preprocesadores, ensambladores, generadores automáticos de analizadores léxicos y sintácticos y otros. Actualmente el uso de analizadores léxicos (scanners) y sintácticos (parsers) se ha extendido considerablemente a otros ámbitos, tales como el análisis de documentos XML y otro tipo de documentos semi-estructurados. Objetivos y/o Propósitos Objetivos Generales definidos en la currícula Conocer los elementos propios de la sintaxis y semántica de los lenguajes de programación. - Conocer los lenguajes formales y autómatas. - Comprender conceptos y procedimientos de las gramáticas libres de contexto y gramáticas regulares para especificar la sintaxis de los lenguajes de programación. - Utilizar distintos tipos de autómatas y distintos tipos de notaciones gramaticales. - Comprender el procesamiento de lenguajes y en particular, el proceso de compilación. Objetivos Específicos Respecto a los Conocimientos Que el alumno logre comprender los conceptos en los cuales se basa el diseño y la construcción de lenguajes de programación, en especial los relativos al léxico, la sintaxis y la semántica 2. comprender el proceso de traducción de un lenguaje a otro

5 3. mejorar su capacidad de aprendizaje de nuevos lenguajes 4. adquirir de evaluación de lenguajes Procedimentales Que el alumno logre especificar las estructuras léxica y sintáctica de lenguajes de programación, a través de expresiones regulares y gramáticas independientes del contexto 2. definir la sintaxis y semántica de nuevos lenguajes 3. construir analizadores léxicos y sintácticos en base a los modelos formales de computación Actitudinales Que el alumno tenga predisposición a desarrollar trabajos en grupo 2. tome una postura activa en el aprendizaje 3. adquiera responsabilidad en los trabajos que realice 4. tenga predisposición a documentar lo que hace 5. adopte actitudes de investigador ante problemas cuya solución no conoce Programa sintético Gramática y Lenguajes Formales. Jerarquía de Chomsky. Autómatas Finitos. Expresiones Regulares y su aplicación al Análisis Léxico. Gramáticas Independientes del Contexto. Autómatas PushDown y su Aplicación al Análisis Sintáctico. Otros Tipos de Analizadores Sintácticos. Máquinas Turing. Introducción a las Semánticas.

6 Programa analítico Unidad I Lenguajes de programación Objetivos. Evolución histórica. Clasificación por Paradigma, Nivel, Generación y Década. Procesamiento de los programas Traductores: compiladores, ensambladores, preprocesadores, desensambladores. Intérpretes. Objetivos de la Traducción. Tipos de errores. Sistema de Procesamiento del Lenguaje. Editor de carga y enlace. Herramientas del entorno a la traducción. Introducción a la compilación. Fases de la compilación. Ventajas de la división en fases. Pasadas. Compiladores de compiladores. Unidad II Lenguajes Regulares y Análisis Léxico Análisis Léxico: objetivos. Comportamiento del Analizador Léxico. Componente léxico, lexema, patrón. Introducción a la Teoría de Lenguajes: definiciones de símbolo, alfabeto, cadena, cardinalidad o longitud de una cadena, cadena vacía y lenguaje. Operaciones sobre cadenas: concatenación, prefijo, sufijo, subcadena, potenciación. Operaciones sobre lenguajes: unión, concatenación, potenciación, clausura de Kleene, clausura positiva. Autómatas Finitos: Sistemas de estados finitos. Autómata Finito (AF): definición formal, comportamiento. Tablas de Transiciones. Diagrama de Transiciones. Función de transición extendida. Lenguaje reconocido por un AF. Estados muertos. Autómata Finito No Determinístico: Definición, diferencias y similitudes. AFN con ε-transiciones. Definición, diferencias y similitudes. Unión, intersección y complementación de AFs. Unidad III Expresiones Regulares: Definición. Conjuntos regulares. Especificación de Lenguajes. Propiedades. Equivalencia de ERs y AFs: Transformación de una ER en un AFN-ε. Transformación de un AFN-ε en un AFD. Minimización de un AFD. Transformación de un AF en una ER. Consideraciones finales: Otros tipos de Autómatas finitos: Autómata de dos caminos. Autómatas con salida. Generadores de Analizadores Léxicos. Estructuras léxicas más comunes en los lenguajes de programación. Limitaciones de los lenguajes regulares. Aplicaciones: Diseño y construcción de un Analizador Léxico. Unidad IV

7 Lenguajes Independientes del Contexto y Análisis Sintáctico Introducción: Objetivos y funcionamiento del Analizador Sintáctico. Complejidad de la estructura sintáctica. Ventajas de una notación formal Gramáticas Independientes del contexto: Definición de CFG. Especificación de un CFL: Derivación directa o en un paso. Derivación en 0 o más pasos. Lenguaje reconocido por una CFG. Árboles de derivación. Frase y forma de frase. Derivación por izquierda y por derecha. Relación entre Expresiones Regulares y CFG. Simplificación y transformación de CFGs: símbolos inútiles, ε-producciones, producciones unitarias, eliminación de la recursividad izquierda, factorización. Las formas normales de Chomsky y Greibach. Ambigüedad: Detección y eliminación de la ambigüedad. Lenguajes Inherentemente ambiguos. Forma de Backus-Naur (BNF) y BNF extendida. Especificación de estructuras sintácticas: estructuras de datos y de control (secuencial, iterativa, condicional, procedimientos y funciones). Unidad V Autómatas PushDown: Definición. Representación gráfica. Descripción Instantánea. Movimiento. Lenguaje reconocido por un PDA (por estados finales y por pila vacía). Transformación de una CFG en GNF, en un PDA. PDA determinístico. Aplicaciones al Análisis Sintáctico: Analizadores Sintácticos: Tipos: Descendentes y Ascendentes. Analizador por desplazamiento y reducción (LR). Analizador Descendente Predictivo. Construcción de un Analizador Sintáctico Descendente Predictivo a partir de una CFG: Condiciones de la CFG, gramáticas LL(1). Funciones PRIMERO() y SIGUIENTE(). Construcción de la Tabla de Análisis Sintáctico. Consideraciones finales: Limitaciones de los CFL. Aplicaciones: Diseño y construcción de un Analizador Sintáctico. Unidad VI Otros modelos que definen lenguajes Máquinas de Turing: Definición (MT determinística). Representación gráfica. Descripción Instantánea. Movimiento. Lenguaje reconocido por una MT. Lenguajes Recursivamente Enumerables y Lenguajes Recursivos. Diagrama de transiciones para una MT. MT como computadora de funciones. Otros tipos de MT. Unidad VII La Jerarquía de Chomsky Clases de Lenguajes y Gramáticas asociadas: Lenguajes Recursivamente Enumerables y Gramáticas irrestrictas, lenguajes y gramáticas sensibles al contexto, lenguajes y gramáticas independientes del contexto, lenguajes y gramáticas regulares.

8 Introducción a las Semánticas Características de las Semánticas Operacional, Axiomática y Introducción a la semántica operacional. Denotacional. Metodología de enseñanza-aprendizaje Las técnicas principales de enseñanza-aprendizaje a ser utilizadas son: Taller, Dialogada, Problematización, para la resolución de ejercicios, Investigación, y Proyecto. Principalmente se utiliza la exposición, dado que hay temas formales que se aprenden con mayor facilidad a través de la explicación y el diálogo. Al inicio de cada clase se realizará un breve repaso de los temas anteriores que sean relevantes para el tema a tratar. Previamente a la exposición se realiza el planteo de los problemas a resolver, para que el aprendizaje sea significativo. Para la resolución de ejercicios los alumnos forman grupos de 3 a 5 personas. Los docentes recorremos los grupos para ver avances, responder consultas y motivar a los alumnos. Se eligen ejercicios para ser presentados en el pizarrón por parte de los distintos grupos. Como trabajo integrador se realizará un proyecto de definición de un lenguaje y el diseño y programación de los analizadores léxico y sintáctico correspondientes. Evaluación Tareas de evaluación continua Preguntas sobre temas dados, de respuesta grupal o individual Presentación de trabajos prácticos. Presentaciones de la documentación y software de los trabajos sobre analizadores. Instancias parciales individuales. Trabajo, actitud, responsabilidad y asistencia a clases. Evaluación Grupal Actividad evaluada

9 Proyecto integrador: definición de un Lenguaje de Programación y Desarrollo de los Analizadores Léxico y Sintáctico correspondientes Evaluación Individual Actividad evaluada Evaluación parcial sobre Análisis Léxico, Autómatas Finitos y Expresiones Regulares Evaluación parcial sobre Análisis Sintáctico, Gramáticas, PDAs y Máquinas de Turing Actitud Cada evaluación parcial posee dos instancias con el mismo carácter e importancia Requisitos para regularizar la asignatura. Para regularizar la asignatura el alumno debe tener al menos un 4 en cada una de las actividades individuales, o promediar 5 o más. Requisitos para promocionar la asignatura en forma directa Para promocionar la asignatura el alumno debe al menos alcanzar nota 7 (siete) en cada una de las actividades individuales y tener el proyecto aprobado. Fechas probables de exámenes Evaluación Autómatas Finitos, Expresiones Regulares, Análisis Léxico: Primera instancia: primera o segunda semana de Mayo (aún no tenemos las semanas de evaluación) Segunda instancia: última semana de mayo o primera de junio Evaluación Autómatas Push-Down, Gramáticas Independientes del Contexto, Análisis Sintáctico, Máquinas de Turing: Primera instancia: primera semana de Julio Segunda instancia: tercera semana de Julio

10 Descripción de las acciones del equipo docente para el seguimiento, orientación y apoyo a los alumnos Se responderán consultas extra-clase mediante reuniones previamente acordadas entre los docentes y los alumnos interesados. Se responderán consultas también mediante correo electrónico. Se utilizará la página virtual de la asignatura para subir material, fechas importantes y como medio de comunicación. Se coordinarán clases extra en caso de pérdidas de clases por razones no previstas, de acuerdo a las necesidades del momento. Integración con otras materias Integración vertical Sintaxis y Semántica de los Lenguajes se dicta en el primer cuatrimestre del segundo año y pertenece al área de Programación, junto con Algoritmos y Estructuras de Datos, Matemática Discreta, Paradigmas de Programación y Gestión de Datos. En las dos materias que se cursan en primer año, los alumnos adquieren los conocimientos básicos de la programación, incluyendo el manejo de las principales estructuras de datos y de control, algoritmos específicos tales como los de búsqueda y ordenamiento y modelos formales de representación de datos (grafos y otros). En esta materia se estudia la definición de lenguajes de programación, partiendo de los conocimientos anteriormente citados, y desarrollando modelos formales que permiten la especificación del léxico, la sintaxis, y la semántica de lenguajes de programación, que le sirven al alumno para comprender con mayor profundidad los lenguajes ya estudiados, y tener herramientas que le permitan abordar el estudio de otros con mayor facilidad. En las dos materias que se dictan posteriormente, se amplía la gama de lenguajes estudiados, introduciendo lenguajes correspondientes a distintos paradigmas (funcional, lógico y orientado a objetos); y lenguajes orientados a consultas de bases de datos. En Gestión de Datos también se utilizan conceptos de esta asignatura como base para definir y comprender el álgebra relacional. Integración horizontal En cuanto a la relación con las materias que se dictan en forma paralela, Sintaxis y Semántica de los Lenguajes realiza aportes que contribuyen principalmente a la materia integradora: Análisis de Sistemas, en la cuál se describen dentro de las herramientas de análisis, el lenguaje estructurado y el lenguaje utilizado en la definición de diccionarios de datos, que pueden ser expresados formalmente mediante

11 notaciones que se dictan en esta materia, y los diagramas de estado, cuya base formal son los autómatas finitos. Las otras materias del primer cuatrimestre de segundo año son del área básica, y no poseen relaciones naturales que puedan converger hacia un trabajo integrador.

12 Bibliografía Obligatoria: Título Introduction to Automata Theory, Languages, and Computation (Disponible en Biblioteca 2ed) Autores Editorial Addison-Wesley Edición 3ra (2006) Descripción Características John Hopcroft, Rajeev Motwani, Jeffrey Ullman Contiene los fundamentos de la teoría de autómatas, lenguajes formales y modelos de computación, que constituyen la base formal necesaria para el estudio de la sintaxis y semántica de los lenguajes de programación Temas Autómatas finitos determinísticos y sus variantes no determinísticas. Expresiones regulares. Propiedades de los lenguajes regulares. Gramáticas independientes del contexto. Autómatas Push Down. Propiedades de los lenguajes independientes del contexto. Máquinas de Turing. Problemas no computables y problemas intratables. Complejidad computacional Importancia Alta. Es uno de los libros de base para la materia Título Compiladores. Principios, Técnicas y Herramientas (Disponible en Biblioteca edición 1990) Autores Características Aho, A. V.; Lam, M.; Sethi, R.; Ullman, J. D. Editorial Addison-Wesley Iberoamericana Edición 2008 Descripción Contiene los fundamentos en los cuales se basa el diseño y construcción de compiladores. Temas Estructura de un compilador. Análisis léxico. Análisis Sintáctico. Traducción dirigida por la sintaxis. Comprobación de tipos. Ambientes de ejecución. Generación de código. Optimización. Importancia Alta. Es uno de los libros de base para la materia Recomendada:

13 Título Construcción de Compiladores. Principios y práctica Características Kenneth C. Louden Autores Editorial Thomson Edición 2004 Descripción Contiene los fundamentos en los cuales se basa el diseño y construcción de compiladores. Muy actualizado. Temas Análisis léxico. CFG y Análisis Sintáctico. Análisis Semántico. Ambientes de ejecución. Generación de código. Importancia Alta. Es uno de los libros de base para la materia Título Problem solving in Automata, Languages, and Complexity Autores Características Ding-Zhu Du, Ker-I Ko Editorial John Wiley & Sons Edición 2001 Descripción Contiene los conceptos básicos sobre la teoría de autómatas, lenguajes formales y complejidad computacional, con una fuerte orientación en la resolución de problemas. Temas Lenguajes regulares. Autómatas finitos. Lenguajes independientes del contexto. Máquinas de Turing. Computabilidad. Complejidad computacional. NP-Completitud. Importancia Media. Fuente de ejercicios para la práctica. Título Compiler construction. A practical approach Autores Características F.J.F. Benders, J.W. Haaring, T.H. Janssen, D. Meffert, A.C. van Oostenrijk Editorial Electrónica sin editorial Edición 2003 Descripción Contiene los conceptos básicos para el diseño y construcción de compiladores, ejemplificado a través de la definición del lenguaje Inger. Temas Especificación del lenguaje Inger. Estructura léxica y Sintáctica. Semántica. Generación de código Importancia Media. Título Autores Características Kenneth Slonneger, Barry L. Kurtz

14 Formal Syntax and Semantics of Programming Languages Editorial Addison-Wesley Edición 1995 Descripción Conceptos básicos formales para la definición de lenguajes de programación. Orientado a las Semánticas Formales. Temas Especificación de la Sintaxis. Gramáticas de atributos. Gramáticas de dos-niveles. Cálculo Lambda. Semántica operacional. Semántica denotacional. Semántica de punto fijo. Semántica axiomática. Semántica algebraica. Semántica de acción. Importancia Media. Libro básico sobre los conceptos relativos a las semánticas formales. Título Programming Language Essentials Autores Características Henri Bal. Dirk Grune Editorial Addison-Wesley Edición 1994 Descripción Libro sobre las características generales de los lenguajes de programación. Contiene los conceptos más importantes de los distintos paradigmas. Temas Aspectos de los lenguajes de programación. Lenguajes imperativos, orientados a objetos, funcionales, lógicos, paralelos y distribuidos. Otros paradigmas. Importancia Accesorio. Solo se utiliza en la introducción a los lenguajes de programación Título Desarrollo Modular de Procesadores de Lenguajes a partir de Especificaciones Semánticas Reutilizables Autores Características Jose Emilio Labra Gayo Tesis Fecha 2001 Descripción Tesis sobre las principales técnicas de especificación semántica de lenguajes de programación y propuesta de una nueva técnica. Temas Lenguajes de programación, su procesamiento y diseño. Semánticas de lenguajes: operacional, natural, denotacional, axiomática, algebraica, máquinas abstractas, monádica modular. Especificación de lenguajes bajo distintos paradigmas. Importancia Accesorio. Complementa los conceptos relativos a semênticas formales.

15 Recursos Didácticos Se utilizará la bibliografía indicada, fundamentalmente los dos primeros libros. Se entregarán Guías de Trabajos Prácticos correspondientes a cada tema visto para ejercitar la aplicación de los conceptos y profundizar los temas. Se continúa el desarrollo de apuntes sobre los temas de la asignatura, algunos de los cuales ya pueden ser utilizados por lo alumnos. En algunos casos se realizarán presentaciones con cañón y computadora para mostrar los modelos de computación en funcionamiento. Cronograma de clases Semanas 1 Marzo Temas Globales Introducción a la materia Evaluación Inicial Lenguajes de programación Temas específicos Objetivos, relación con otras materias, contenido, bibliografía, evaluación y promoción, metodología. Conceptos básicos de programación, algoritmia y complejidad computacional Objetivos. Evolución histórica. Clasificación por Paradigma, Nivel, Generación y Década. Metodología Profundidad Integración Informativo Alg.y Estr. Datos Paradigmas Gestión Datos 2 Marzo Procesamiento de los programas Traductores: compiladores, intérpretes, ensambladores, preprocesadores. Herramientas del entorno a la traducción. Proceso de traducción. Compilación: objetivos, tipos de errores. Fases de la compilación. Pasadas. Compiladores de compiladores. Taller Alg.y Estr. Datos Paradigmas Gestión Datos Lenguajes Regulares y Análisis Léxico Análisis Léxico: objetivos. Comportamiento del Analizador Léxico. Componente léxico, lexema, patrón. 3 Marzo Lenguajes Regulares y Análisis Léxico Introducción a la Teoría de Lenguajes: definiciones de símbolo, alfabeto, cadena, cardinalidad o longitud de una cadena, cadena vacía y lenguaje. Operaciones sobre cadenas: concatenación, prefijo, sufijo, Trabajo práctico Alg.y Estr. Datos Análisis de Sist. Diseño de Sist. Mat. Discreta

16 subcadena, potenciación. Operaciones sobre lenguajes: unión, concatenación, potenciación, clausura de kleene, clausura positiva. 4 Abril Lenguajes Regulares y Análisis Léxico Autómatas Finitos: Sistemas de estados finitos. Autómata Finito (AF): definición formal, comportamiento. Tablas de Transiciones. Diagrama de Transiciones. Función de transición extendida. Lenguaje reconocido por un AF. Estados muertos. Práctica de construcción de AFs. Autómata Finito No Determinístico: Definición, diferencias y similitudes. AFN con ε-transiciones. Definición, diferencias y similitudes. Práctica de AF, AFN y AFN-ε Unión, intersección y complementación de AFs. Alg.y Estr. Datos Análisis de Sist. Diseño de Sist. Mat. Discreta 5 Abril Lenguajes Regulares y Análisis Léxico Expresiones Regulares: Definición. Conjuntos regulares. Especificación de Lenguajes. Práctica de ER. Propiedades de las ER. Equivalencia de ERs y AFs: Transformación de una ER en AFN-ε. Análisis de Sist. Diseño de Sist. 6 Abril 7 Abril 8 Abril 9 Mayo Lenguajes Regulares y Análisis Léxico Lenguajes Regulares y Análisis Léxico Lenguajes Regulares y Análisis Léxico Lenguajes Independientes del Contexto y Análisis Sintáctico Práctica de transformación E.R. a AFN-ε. Transformación de un AFN-ε en un AFD.. Práctica de transformación AFN-ε a AFD. Minimización de un AFD. Práctica de Minimización. Transformación de un AF en una ER. Práctica de transformación AF a ER. Consideraciones finales: Otros tipos de Autómatas finitos: Autómata de dos caminos. Autómatas con salida. Generadores de Analizadores Léxicos. Estructuras léxicas mas comunes en los lenguajes de programación. Limitaciones de los lenguajes regulares. Aplicaciones: Diseño y construcción de un Analizador Léxico. Introducción: Objetivos y funcionamiento del Analizador Sintáctico. Complejidad de la estructura sintáctica. Ventajas de una notación formal Informativo Alg y Est Datos Paradigmas Gestión Datos Alg.y Estr. Datos Paradigmas Análisis de Sist. Diseño de Sist. Gestión Datos Gramáticas Independientes del

17 10 Mayo Lenguajes Independientes del Contexto y Análisis Sintáctico contexto: Definición de CFG. Especificación de un CFL: Derivación directa o en un paso. Derivación en 0 o más pasos. Lenguaje reconocido por una CFG. Árboles de derivación. Frase y forma de frase. Derivación por izquierda y por derecha. Relación entre Expresiones Regulares y CFG Práctica de escritura de CFGs. Simplificación y transformación de CFGs: símbolos inútiles, ε- producciones, producciones unitarias, eliminación de la recursividad izquierda, factorización. Las formas normales de Chomsky y Greibach. Práctica de simplificación y normalización. 11 Mayo 12 Mayo 13 Junio 14 Junio Lenguajes Independientes del Contexto y Análisis Sintáctico Lenguajes Independientes del Contexto y Análisis Sintáctico Lenguajes Independientes del Contexto y Análisis Sintáctico Lenguajes Independientes del Contexto y Análisis Sintáctico Primera Evaluación: Lenguajes Regulares y Análisis Léxico Ambigüedad. Detección y eliminación de la ambigüedad. Lenguajes Inherentemente ambiguos. Forma de Backus-Naur (BNF) y BNF extendida. Especificación de estructuras sintácticas: estructuras de datos y de control (secuencial, iterativa, condicional, procedimientos y funciones). Práctica de detección y eliminación de la ambigüedad. Autómata PushDown: Definición. Representación gráfica. Descripción Instantánea. Movimiento. Lenguaje reconocido por estados finales y por pila vacía. Transformación de una CFG en GNF, en un PDA. PDA determinístico. Práctica de PDA y transformación CFG a PDA Aplicaciones al Análisis Sintáctico: Analizadores Sintácticos: Tipos. Descendentes y Ascendentes. Analizador Descendente Predictivo. Analizador por desplazamiento y reducción. Construcción de un Analizador Sintáctico Descendente Predictivo a partir de una CFG. Condiciones de la CFG, gramáticas LL(1). Funciones PRIMERO() y SIGUIENTE(). Construcción de la Tabla de Análisis Sintáctico. Eficiencia. Práctica escritura de gramáticas LL(1). Práctica de construcción de la TAS. Consideraciones finales: Limitaciones de los CFL. Segunda Evaluación: Lenguajes Alg.y Estr. Datos Paradigmas Análisis de Sist. Diseño de Sist. Gestión Datos Alg.y Estr. Datos Paradigmas Gestión Datos Alg.y Estr. Datos Paradigmas Análisis de Sist. Diseño de Sist. Gestión Datos

18 15 Junio 16 Junio Otros modelos de especificación de lenguajes Otros modelos de especificación de lenguajes Regulares y Análisis Léxico Máquinas de Turing: Definición. Representación gráfica. Descripción Instantánea. Movimiento. Lenguaje reconocido por una MT. Lenguajes Recursivamente Enumerables y Lenguajes Recursivos. Diagrama de transiciones para una MT. Práctica de definición de MT. MT como computadora de funciones y como enumerador. Otros tipos de MT. Taller Criterios La Jerarquía de Chomsky Clases de Lenguajes y Gramáticas asociadas: Lenguajes recursivamente enumerables y Gramáticas irrestrictas, lenguajes sensibles al contexto y gramáticas sensibles al contexto, lenguajes independientes del contexto y gramáticas independientes del contexto, y lenguajes regulares y gramáticas regulares. Introducción a las Semánticas Formales Semántica Operacional, Axiomática y Denotacional. Introducción a la semántica operacional. Firma del Docente