Diferencia entre revisiones de «Teoría de Lenguajes»

De Cuba-Wiki
(No se muestran 8 ediciones intermedias del mismo usuario)
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.
'''Teoría 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 Computación] y segun el plan de la carrera, deberia cursarse en Cuarto Año. Es correlativa de [[Lógica y Computabilidad]].
Se cursa los Lunes, Miercoles y Jueves.
Se cursa los Lunes, Miercoles y Jueves.


==Programa==
==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==
'''Primera Parte'''
<br>Primer Parcial
*Introducción. Lenguajes y gramáticas. 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.
*[[Practica 0 - Preliminares]]
 
*[[Practica 1 - Gramaticas Regulares y Automatas Finitos]]
'''Segunda Parte'''
*[[Practica 2 - Expresiones regulares]]
*Lenguajes tipo 1 y tipo 0. Máquinas asociadas. Parsers ascendentes y descendentes.
*[[Practica 3 - Automatas finitos - Continuacion]]
*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).
*[[Practica 4 - Lenguajes regulares y lema de pumping]]
*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.
*[[Practica 5 - Traductores finitos]]
 
*[[Practica 6 - Gramaticas libres de contexto y automatas de pila]]
==Prácticas==
 
'''Primer Parcial'''
*[[Práctica 0: Preliminares (Teoría de Lenguajes)|Práctica 0: Preliminares]]
*[[Práctica 1: Gramáticas Regulares y Autómatas Finitos (Teoría de Lenguajes)|Práctica 1: Gramáticas Regulares y Autómatas Finitos]]
*[[Práctica 2: Expresiones regulares (Teoría de Lenguajes)|Práctica 2: Expresiones regulares]]
*[[Práctica 3: Autómatas finitos -Continuación- (Teoría de Lenguajes)|Práctica 3: Autómatas finitos -Continuación-]]
*[[Práctica 4: Lenguajes regulares y lema de pumping (Teoría de Lenguajes)|Práctica 4: Lenguajes regulares y lema de pumping]]
*[[Práctica 5: Traductores finitos (Teoría de Lenguajes)|Práctica 5: Traductores finitos]]
*[[Práctica 6: Gramáticas libres de contexto y autómatas de pila (Teoría de Lenguajes)|Práctica 6: Gramáticas libres de contexto y autómatas de pila]]
 
==Parciales==
 
*[[Primer Recuperatorio 2C 2006 (Teoría de Lenguajes)|Primer Parcial Recuperatorio 2C 2006]]


==Trabajos Prácticos Viejos==
==Trabajos Prácticos Viejos==
[[:Media:TLeng-2006-01-TP-0001.pdf|2006 - 1er Cuatrimestre TP]]
 
<br>
*[[:Media:TLeng-2006-01-TP-0001.pdf|2006 - 1er Cuatrimestre TP]]


== Enlaces externos ==
== Enlaces externos ==
<br>[http://www.dc.uba.ar/people/materias/tl/ Pagina Oficial de la Materia]
 
*[http://www.dc.uba.ar/people/materias/tl/ Pagina Oficial de la Materia]


[[Category:Materias]]
[[Category:Materias]]
[[Category:Computación]]
[[Category:Computación]]
[[Category:Programación]]

Revisión del 20:50 18 may 2008

Teoría 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 Computación y segun el plan de la carrera, deberia cursarse en Cuarto Año. Es correlativa de Lógica y Computabilidad. Se cursa los Lunes, Miercoles y Jueves.

Programa

Primera Parte

  • Introducción. Lenguajes y gramáticas. 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.

Segunda Parte

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

Prácticas

Primer Parcial

Parciales

Trabajos Prácticos Viejos

Enlaces externos

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Teoría_de_Lenguajes&oldid=2756»