Diferencia entre revisiones de «Teoría de Lenguajes»
De Cuba-Wiki
Sin resumen de edición |
|||
Línea 34: | Línea 34: | ||
*Semántica operacional de computación. | *Semántica operacional de computación. | ||
==Practicas== | |||
<br>Primer Parcial | |||
*[[Practica 0]] | |||
*[[Practica 1]] | |||
*[[Practica 2]] | |||
*[[Practica 3]] | |||
*[[Practica 4]] | |||
*[[Practica 5]] | |||
*[[Practica 6]] | |||
==Trabajos Prácticos Viejos== | ==Trabajos Prácticos Viejos== |
Revisión del 01:51 29 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.
Practicas
Primer Parcial