UNIVERSIDAD TECNOLÓGICA NACIONAL - FACULTAD REGIONAL TUCUMÁN DEPARTAMENTO DE SISTEMAS
CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES WWW.VIRTUAL.UTN.EDU.AR/FRT
Asignatura: SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES Área: PROGRAMACIÓN – TECNOLOGÍAS BÁSICAS Carrera: INGENIERÍA EN SISTEMAS DE INFORMACIÓN Régimen: CUATRIMESTRAL Carga horaria semanal: 3hs.Teoría/3hs.Práctica/2hs.Laboratorio-Aula Taller
Director de Cátedra: Ing. JORGE BUABUD E-mail: jbuabud@gmail.com
ING. JORGE BUABUD
UNIVERSIDAD TECNOLÓGICA NACIONAL - FACULTAD REGIONAL TUCUMÁN DEPARTAMENTO DE SISTEMAS
CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES WWW.VIRTUAL.UTN.EDU.AR/FRT
Profesores: Ing. Buabud Jorge a cargo de 2K1, 2K2 (turno mañana), 2K5 (turno tarde) y 2K7 (turno noche) Ing. Carpio Willo a cargo de 2K3 (turno mañana) y 2K6 (turno noche) Ing. Bonaparte Ubaldo a cargo de 2K4 (turno tarde) Ing. Araujo Rubén Fernando a cargo de 2K1 Anexo-Concepción Auxiliares: AUS Politi Sergio , Ing. Ronveuax Marta , Ing. Bedran Marisel , Ing. Del Prado Liliana ING. JORGE BUABUD
UNIVERSIDAD TECNOLÓGICA NACIONAL - FACULTAD REGIONAL TUCUMÁN DEPARTAMENTO DE SISTEMAS
CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES WWW.VIRTUAL.UTN.EDU.AR/FRT
OBJETIVOS:
Representar lenguajes formales en sus niveles léxico, sintáctico y semántico; utilizando los conocimientos mínimos de lingüística matemática.
Comprender la complejidad algorítmica mediante el análisis de los lenguajes recursivos, lenguajes recursivamente enumerables y las Máquinas de Turing.
Comprender el proceso de traducción de lenguajes de programación y en particular el proceso de compilación.
Diseñar aceptores de lenguajes formales en sus niveles léxico (Autómatas Finitos) y sintáctico (Autómatas de Pila), utilizando como herramientas las gramáticas formales (regulares y libres de contexto).
Implementar los algoritmos propios de la teoría de autómatas, afianzando y consolidando los conocimientos previos adquiridos en el área de programación. ING. JORGE BUABUD
UNIVERSIDAD TECNOLÓGICA NACIONAL - FACULTAD REGIONAL TUCUMÁN DEPARTAMENTO DE SISTEMAS
CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES WWW.VIRTUAL.UTN.EDU.AR/FRT
CONTENIDOS: UNIDAD TEMÁTICA I: Lingüística Matemática Alfabetos, palabras y lenguajes. Operaciones con cadenas y con lenguajes. Niveles de un lenguaje: léxico, sintáctico, semántico y pragmático. Gramáticas para estructuras de frases. Diagramas de Sintaxis y Formato BNF. Sistemas Canónicos y Esquemas de Traducción. Proceso de Compilación. UNIDAD TEMÁTICA II: Gramáticas y Modelos Matemáticos. Jerarquía de Chomsky y formatos estándares para tipos 0 y 1. Los aceptores de lenguajes formales: MT, AP, AF. Construcción de una MT. Lenguajes Recursivos y recursívamente enumerables. Resolubilidad y complejidad computacional. UNIDAD TEMÁTICA III: Lenguajes Regulares y Autómatas Finitos. Gramáticas Regulares (GR), Expresiones Regulares (ER). Maquinas Secuenciales: Modelos de Mealy y de Moore. Autómatas Finitos Determinísticos (AFD). Operaciones con AFD. Equivalencia y Minimización. Autómatas Finitos No Determinísticos (AFND, AF-λ y AF-Lazy). Operaciones con AFND. Conversión AFND/AFD. Propiedades de los LR. Analizador Lexicográfico (Scanner). UNIDAD TEMÁTICA IV: Lenguajes Independientes de Contexto y Autómatas de Pila. Gramáticas Independientes del Contexto (GIC). Árboles de derivación. Derivación más a la izquierda. Ambigüedad. Simplificaciones de una GIC. Formas Normales de Chomsky y de Greibach. L.I.C. y Autómatas de Pila (AP). Criterios de aceptación por estado final y por pila vacía. Propiedades de los LIC. Analizador Sintáctico (Parcer) Descendente (LL) y Ascendente (LR).. ING. JORGE BUABUD
UNIVERSIDAD TECNOLÓGICA NACIONAL - FACULTAD REGIONAL TUCUMÁN DEPARTAMENTO DE SISTEMAS
CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES WWW.VIRTUAL.UTN.EDU.AR/FRT
BIBLIOGRAFÍA
PRINCIPAL:
INTRODUCCION A LA TEORIA DE AUTOMATAS LENGUAJES Y COMPUTACION ISBN 9788478290888 Autor HOPCROFT JOHN E. , MOTWANI RAJEEV , ULLMAN JEFFREY D. Editorial PEARSON EDUCACION Edición 2008 COMPILADORES Princípios Técnicas y Herramientas. ISBN 9789702611332 Autor AHO ALFRED V. LAM MONICA S. , SETHI RAVI , ULLMAN JEFFREY D. Editorial PEARSON ADDISON-WESLEY Edición 2008 Capítulos 1,3,4 y 5 LENGUAJES, GRAMÁTICAS Y AUTÓMATAS Un enfoque práctico. ISBN 84-7829-014-1 Autor P. ISASI, P. MARTINEZ , D. BORRAJO Editorial ADDISON-WESLEY Edición 1997 TEORÍA DE AUTOMATAS Y LENGUAJES FORMALES ISBN 9780135187050 Autor KELLEY DEAN Editorial LONGMAN Edición 1995 PROGRAMACIÓN DE SISTEMAS Autor JOHN J. DONOVAN Editorial EL ATENEO Edición 1983
ING. JORGE BUABUD