Diferencia entre revisiones de «Teoría de Lenguajes»
Sin resumen de edición |
|||
| (No se muestran 21 ediciones intermedias del mismo usuario) | |||
| Línea 6: | Línea 6: | ||
'''Primera Parte''' | '''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. | Introducción. Lenguajes y gramáticas. [[Clasificación de Chomsky]]. [[Lenguajes regulares]], [[Autómatas]]. [[Expresiones regulares]]. [[Equivalencia de construcciones regulares|Equivalencias entre expresiones regulares, gramáticas regulares y autómatas]]. [[Lema de pumping#Lenguajes regulares|Lema de pumping]]. [[Minimización de autómatas]]. [[Lenguajes regulares#Problemas decidibles|Decidibilidad de problemas básicos]] y [[Lenguajes regulares#Propiedades|propiedades de clausura]]. Analizadores lexicográficos. [[Lenguajes independientes de contexto]]. [[Arboles de derivación]]. [[Lema de pumping#Lenguajes independientes de contexto|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''' | '''Segunda Parte''' | ||
| Línea 22: | Línea 22: | ||
*[[Práctica 5: Traductores finitos (Teoría de Lenguajes)|Práctica 5: Traductores finitos]] | *[[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]] | *[[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]] | ||
'''Segundo Parcial''' | |||
*[[Práctica 7: Maquinas de Turing y ALL (Teoría de Lenguajes)|Práctica 7: Maquinas de Turing y ALL]] | |||
*[[Práctica 8: Escritura y simplificacion de GLC (Teoría de Lenguajes)|Práctica 8: Escritura y simplificacion de GLC]] | |||
*[[Práctica 9: Parsers descendentes (Teoría de Lenguajes)|Práctica 9: Parsers descendentes]] | |||
*[[Práctica 10: Gramaticas y parsers de precedencia (Teoría de Lenguajes)|Práctica 10: Gramaticas y parsers de precedencia]] | |||
*[[Práctica 11: Gramaticas y parsers LR (Teoría de Lenguajes)|Práctica 11: Gramaticas y parsers LR]] | |||
*[[Práctica 12: Gramaticas de atributos y TDS (Teoría de Lenguajes)|Práctica 12: Gramaticas de atributos y TDS]] | |||
==Apuntes== | |||
'''Primer Parcial''' | |||
*[http://www.exa.unicen.edu.ar/catedras/ccomp1/apuntes.htm Apuntes Varios] | |||
'''Segundo Parcial''' | |||
*[[Definiciones y teoremas (Teoría de Lenguajes)|Definiciones y teoremas]] | |||
'''Final''' | |||
*[[Demostraciones (Teoría de Lenguajes)|Demostraciones]]: Lista de las demostraciones vistas en la materia. | |||
*[[Preguntas de Final (Teoría de Lenguajes)|Preguntas]]: Lista de preguntas de final tomados en los últimos años. | |||
*[[Ejemplos de Lenguajes (Teoría de Lenguajes)|Ejemplos]]: Ejemplos de lenguajes y gramáticas vistos en la materia. | |||
*Apunte de toda la materia (Dr. Ramon Brena Pinero): [[Media:Apunte_tleng_completo_1.pdf|Parte 1]], [[Media:Apunte_tleng_completo_2.pdf|Parte 2]]. | |||
== Finales == | |||
*[[Final del 11/08/08 (Teoría de Lenguajes)|Final del 11/08/08]] | |||
==Parciales== | ==Parciales== | ||
'''Primeros Parciales''' | |||
*[[Primer Recuperatorio 2C 2006 (Teoría de Lenguajes)|Primer Parcial Recuperatorio 2C 2006]] | *[[Primer Recuperatorio 2C 2006 (Teoría de Lenguajes)|Primer Parcial Recuperatorio 2C 2006]] | ||
'''Segundos Parciales''' | |||
*[[Segundo Parcial 2C 2006 (Teoría de Lenguajes)|Segundo Parcial 2C 2006]] | |||
*[[Segundo Recuperatorio 2C 2006 (Teoría de Lenguajes)|Segundo Parcial Recuperatorio 2C 2006]] | |||
*[[Segundo Parcial 1C 2006 (Teoría de Lenguajes)|Segundo Parcial 1C 2006]] | |||
*[[Segundo Recuperatorio 1C 2006 (Teoría de Lenguajes)|Segundo Parcial Recuperatorio 1C 2006]] | |||
==Trabajos Prácticos Viejos== | ==Trabajos Prácticos Viejos== | ||
| Línea 34: | Línea 66: | ||
*[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] | ||
*[http://www.lsi.uned.es/procleng/apuntes/2006-2007/CalculoPrimeroSiguiente.pdf Apunte sobre el calculo de Primeros y Siguientes para gramaticas] | |||
*[http://oscarbonilla.com/courses/compilers/ Slides de un curso de compiladores de Oscar Bonilla] | |||
[[Category:Materias]] | [[Category:Materias]] | ||
[[Category:Computación]] | [[Category:Computación]] | ||
[[Category:Programación]] | [[Category:Programación]] | ||
Revisión del 00:27 13 may 2009
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
- Práctica 0: Preliminares
- Práctica 1: Gramáticas Regulares y Autómatas Finitos
- Práctica 2: Expresiones regulares
- Práctica 3: Autómatas finitos -Continuación-
- Práctica 4: Lenguajes regulares y lema de pumping
- Práctica 5: Traductores finitos
- Práctica 6: Gramáticas libres de contexto y autómatas de pila
Segundo Parcial
- Práctica 7: Maquinas de Turing y ALL
- Práctica 8: Escritura y simplificacion de GLC
- Práctica 9: Parsers descendentes
- Práctica 10: Gramaticas y parsers de precedencia
- Práctica 11: Gramaticas y parsers LR
- Práctica 12: Gramaticas de atributos y TDS
Apuntes
Primer Parcial
Segundo Parcial
Final
- Demostraciones: Lista de las demostraciones vistas en la materia.
- Preguntas: Lista de preguntas de final tomados en los últimos años.
- Ejemplos: Ejemplos de lenguajes y gramáticas vistos en la materia.
- Apunte de toda la materia (Dr. Ramon Brena Pinero): Parte 1, Parte 2.
Finales
Parciales
Primeros Parciales
Segundos Parciales
- Segundo Parcial 2C 2006
- Segundo Parcial Recuperatorio 2C 2006
- Segundo Parcial 1C 2006
- Segundo Parcial Recuperatorio 1C 2006
