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

Transcripción

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

2 Índice de Contenidos Nombre de la Materia...1 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....4 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 de la Asignatura Carrera: Ingeniería en Sistemas de Información Asignatura: Sintaxis y Semántica de los 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: Magister 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

4 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 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.

5 Objetivos Específicos Respecto a los Conocimientos Que el alumno logre comprender los conceptos en los cuales se basa el diseño de lenguajes de programación y la construcción compiladores/intérpretes, en especial los aspectos relativos al léxico, la sintaxis y la semántica 2. comprender el proceso de traducción de un lenguaje a otro 3. comprender las bases de las ciencias de la computación 4. mejorar su capacidad de aprendizaje de nuevos lenguajes 5. adquirir criterios 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

6 Programa sintético Gramática y 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. Programa analítico Unidad I 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 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 : 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

7 Expresiones Regulares: Definición. Conjuntos regulares. Especificación de. 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 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. 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

8 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. Recursivamente Enumerables y 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 y Gramáticas asociadas: 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. Introducción a las Semánticas Características de las Semánticas Operacional, Axiomática y Denotacional. Introducción a la semántica operacional y su aplicación a la generación de código. 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.

9 Evaluación Tareas de evaluación continua Preguntas sobre temas dados, de respuesta o individual Presentación de trabajos prácticos. Presentaciones de la documentación y software de los trabajos sobre analizadores. Instancias parciales individuales., actitud, responsabilidad y asistencia a clases. Evaluación Grupal Actividad evaluada 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.

10 Fechas probables de exámenes Evaluación Autómatas Finitos, Expresiones Regulares, Análisis Léxico: Primera instancia: primera o segunda semana de Mayo 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 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 se dicta en el primer cuatrimestre del segundo año y pertenece al área de Programación, junto con Algoritmos y Estructuras de, Matemática Discreta, Paradigmas de Programación y Gestión de. 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.

11 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 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 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 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 Características John Hopcroft, Rajeev Motwani, Jeffrey Ullman Editorial Addison-Wesley Edición 3ra (2006) Descripci ón 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 Importanc ia 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 Contiene los fundamentos en los cuales se ón 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. Importanc Alta. Es uno de los libros de base para la ia materia

13 Recomendada: Título Construcción de Compiladores. Principios y práctica Autores Características Kenneth C. Louden Editorial Thomson Edición 2004 Descripci Contiene los fundamentos en los cuales se ón 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. Importanc ia 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 Contiene los conceptos básicos sobre la teoría ón de autómatas, lenguajes formales y complejidad computacional, con una fuerte orientación en la resolución de problemas. Temas regulares. Autómatas finitos. independientes del contexto. Máquinas de Turing. Computabilidad. Complejidad computacional. NP-Completitud. Importanc Media. Fuente de ejercicios para la práctica. ia Título Autores Editorial Características F.J.F. Benders, J.W. Haaring, T.H. Janssen, D. Meffert, A.C. van Oostenrijk Electrónica sin editorial

14 Compiler construction. A practical approach Edición 2003 Descripci Contiene los conceptos básicos para el diseño ón 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 Importanc Media. ia Título Formal Syntax and Semantics of Programming Languages Autores Características Kenneth Slonneger, Barry L. Kurtz Editorial Addison-Wesley Edición 1995 Descripci Conceptos básicos formales para la definición ó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. Importanc ia 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 Libro sobre las características generales de los ón lenguajes de programación. Contiene los conceptos más importantes de los distintos paradigmas. Temas Aspectos de los lenguajes de programación. imperativos, orientados a objetos, funcionales, lógicos, paralelos y distribuidos. Otros paradigmas. Importanc ia Accesorio. Solo se utiliza en la introducción a los lenguajes de programación

15 Título Desarrollo Modular de Procesadores de 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 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. Importanc ia Accesorio. Complementa los conceptos relativos a semênticas formales.

16 Recursos Didácticos Se utilizará la bibliografía indicada, fundamentalmente los dos primeros libros. Se entregarán Guías de s 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 Sema nas Temas Globales Temas específicos Metodol ogía Profundi dad Integraci ón 1 Marzo Introducción a la materia Evaluación Inicial de programación 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. Informativo Alg.y Estr. Paradigmas Gestión 2 Marzo Procesamiento de los programas Regulares y Análisis Léxico 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. Análisis Léxico: objetivos. Comportamiento del Analizador Léxico. Componente léxico, lexema, patrón. Taller Alg.y Estr. Paradigmas Gestión

17 3 Marzo Regulares y Análisis Léxico Introducción a la Teoría de : 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. práctico Alg.y Estr. Análisis de Sist. Diseño de Sist. Mat. Discreta 4 Abril 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. Análisis de Sist. Diseño de Sist. Mat. Discreta 5 Abril Regulares y Análisis Léxico Expresiones Regulares: Definición. Conjuntos regulares. Especificación de. 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 Regulares y Análisis Léxico Regulares y Análisis Léxico 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

18 8 Abril 9 Mayo 10 Mayo Regulares y Análisis Léxico Independientes del Contexto y Análisis Sintáctico Independientes del Contexto y Análisis Sintáctico 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 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 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. Informativo Alg y Est Paradigmas Gestión Alg.y Estr. Paradigmas Análisis de Sist. Diseño de Sist. Gestión 11 Mayo Independientes del Contexto y Primera Evaluación: Regulares y Análisis Léxico Ambigüedad. Detección y eliminación de la ambigüedad. Alg.y Estr. Paradigmas

19 12 Mayo 13 Junio 14 Junio 15 Junio Análisis Sintáctico Independientes del Contexto y Análisis Sintáctico Independientes del Contexto y Análisis Sintáctico Independientes del Contexto y Análisis Sintáctico Otros modelos de especificación de 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: Regulares y Análisis Léxico Máquinas de Turing: Definición. Representación gráfica. Descripción Instantánea. Movimiento. Lenguaje reconocido por Análisis de Sist. Diseño de Sist. Gestión Alg.y Estr. Paradigmas Gestión Alg.y Estr. Paradigmas Análisis de Sist. Diseño de Sist. Gestión

20 16 Junio Otros modelos de especificación de lenguajes La Jerarquía de Chomsky Introducción a las Semánticas Formales una MT. Recursivamente Enumerables y 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. Clases de y Gramáticas asociadas: 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. Taller de Criterios Semántica Operacional, Axiomática y Denotacional. Introducción a la semántica operacional y su aplicación a la generación de código. Firma del Docente