Diferencia entre revisiones de «Teoría de Lenguajes»
De Cuba-Wiki
Sin resumen de edición |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
'''Teoria de Lenguajes''' es una materia que tiene como objetivo presentar las nociones de lenguaje formal y de sintaxis y semántica de lenguajes, imprescindibles para la construcción de compiladores. Pertenece al [http://www.dc.uba.ar Departamento de Computacion] y segun el plan de la carrera, deberia cursarse en Cuarto Año. Es correlativa de Logica y Computabilidad. | |||
Se cursa los Lunes, Miercoles y Jueves. | Se cursa los Lunes, Miercoles y Jueves. | ||
Revisión del 00:19 20 mar 2007
Teoria de Lenguajes es una materia que tiene como objetivo presentar las nociones de lenguaje formal y de sintaxis y semántica de lenguajes, imprescindibles para la construcción de compiladores. Pertenece al Departamento de Computacion y segun el plan de la carrera, deberia cursarse en Cuarto Año. Es correlativa de Logica y Computabilidad. Se cursa los Lunes, Miercoles y Jueves.
Programa
- Introducción.
- Lenguajes y gramaticas
- Clasificación de Chomsky
- Lenguajes regulares. Autómatas.
- Expresiones regulares.
- Equivalencias entre expresiones regulares, gramáticas regulares y autómatas.
- Lema de pumping.
- Minimización de autómatas.
- Decidibilidad de problemas básicos y propiedades de clausura
- Analizadores lexicográficos.
- Lenguajes independientes de contexto.
- Arboles de derivación.
- Lema de pumping para lenguajes independientes de contexto. Gramáticas reducidas.
- Autómatas de pila.
- Lenguajes determinísticos. Equivalencias entre autómatas de pila y gramáticas libres de contexto.
- Lenguajes tipo 1 y tipo 0. Máquinas asociadas.
- Parsers ascendentes y descendentes.
- Método LL(1).
- Parser descendente recursivo y por tablas.
- Transformación de gramáticas.
- Propiedades de las gramáticas LL(1).
- Métodos ascendentes.
- Métodos de precedencia.
- Métodos LR. LR(0). Propiedades.
- Métodos LR(0), SLR(1), LR(1) y LALR(1).
- Gramáticas de atributos. Definiciones guiadas por la sintaxis.
- Esquemas de traducción.
- Aplicación al análisis semántico y la generación de código.
- Semántica de los lenguajes de programación. Semántica operacional natural.
- Semántica operacional de computación.