Diferencia entre revisiones de «Teoría de Lenguajes»
De Cuba-Wiki
Sin resumen de edición |
|||
Línea 36: | Línea 36: | ||
==Practicas== | ==Practicas== | ||
<br>Primer Parcial | <br>Primer Parcial | ||
*[[Practica 0]] | *[[Practica 0 - Preliminares]] | ||
*[[Practica 1]] | *[[Practica 1 - Gramaticas Regulares y Automatas Finitos]] | ||
*[[Practica 2]] | *[[Practica 2 - Expresiones regulares]] | ||
*[[Practica 3]] | *[[Practica 3 - Automatas finitos - Continuacion]] | ||
*[[Practica 4]] | *[[Practica 4 - Lenguajes regulares y lema de pumping]] | ||
*[[Practica 5]] | *[[Practica 5 - Traductores finitos]] | ||
*[[Practica 6]] | *[[Practica 6 - Gramaticas libres de contexto y automatas de pila]] | ||
==Trabajos Prácticos Viejos== | ==Trabajos Prácticos Viejos== |
Revisión del 01:58 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
- Practica 0 - Preliminares
- Practica 1 - Gramaticas Regulares y Automatas Finitos
- Practica 2 - Expresiones regulares
- Practica 3 - Automatas finitos - Continuacion
- Practica 4 - Lenguajes regulares y lema de pumping
- Practica 5 - Traductores finitos
- Practica 6 - Gramaticas libres de contexto y automatas de pila