Diferencia entre revisiones de «Teoría de Lenguajes»

De Cuba-Wiki
 
(No se muestran 36 ediciones intermedias de 20 usuarios)
Línea 32: Línea 32:


==Apuntes==
==Apuntes==
'''Ejercicios Resueltos'''
*[[Medio:Ejercicio_Pumping.pdf|Ej. de Pumping para regulares]]: contiene una explicación detallada de un ejercicio de la guía de Lema de Pumping para lenguajes regulares.
*[[Medio:T._Leng._Guía_8.pdf|Soluciones Guía 8]]: Mini apunte y soluciones a ejercicios de la Guía 8
'''Apuntes de Clase'''
*[[Medio:Tleng_apunte_clase_anotado.tar.gz|Apuntes de clase]]: los apuntes que entrega Julio en la clase, con (bastantes) correcciones y algunas anotaciones extra.


'''Primer Parcial'''
'''Primer Parcial'''
Línea 40: Línea 47:


'''Final'''
'''Final'''
*[[Medio:TLeng_Apunte_2015_Jsackmann.epub|Apunte de Teoría de Lenguajes]], por Julián Sackmann: contiene la parte de Julio y unos mínimos comentarios sobre parsing no determinístico. Preparado en 2015. Está en formato EPUB, para leer fácilmente desde eReaders.
*[[Medio:TLeng_Apunte_Latashen.pdf|Notas de estudio de Raul Latashen]] ([http://es.scribd.com/doc/49810902/Notas-de-Teoria-de-Lenguajes?secret_password=8x7y734fvrtjy9mgv0e Fuente original])
*[http://es.scribd.com/doc/49811568/Apunte-de-Teoria-de-Lenguajes?secret_password=11sxk5o1z1mrrw6erjs2 Apunte para el final de Soledad Ramusio]
*[[Demostraciones (Teoría de Lenguajes)|Demostraciones]]: Lista de las demostraciones vistas en la materia.
*[[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. UPDATE: Esto es muy viejo e incompleto. Se toman las demostraciones de varios teoremas ahora.
** [[Demostraciones Lenguajes Regulares (Teoría de Lenguajes)|Lenguajes Regulares]]
*[[Preguntas de Final (Teoría de Lenguajes)|Preguntas]]: Lista de ''algunas'' 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.
*[[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]].
*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 ==
== Finales ==
*[[Final del 27/12/18 (Teoría de Lenguajes)|Final del 27/12/18]]
*[[Final del 08/08/18 (Teoría de Lenguajes)|Final del 08/08/18]]
*[[Final del 13/11/17 (Teoría de Lenguajes)|Final del 13/11/17]]
*[[Final del 19/05/17 (Teoría de Lenguajes)|Final del 19/05/17]]
*[[Final del 20/12/16 (Teoría de Lenguajes)|Final del 20/12/16]]
*[[Final del 26/07/16 (Teoría de Lenguajes)|Final del 26/07/16]]
*[[Final del 09/12/15 (Teoría de Lenguajes)|Final del 09/12/15]]
*[[Final del 19/02/15 (Teoría de Lenguajes)|Final del 19/02/15]]
*[[Final del 22/12/14 (Teoría de Lenguajes)|Final del 22/12/14]]
*[[Final del 12/09/14 (Teoría de Lenguajes)|Final del 12/09/14]]
*[[Final del 17/09/10 (Teoría de Lenguajes)|Final del 17/09/10]]
*[[Final del 11/08/08 (Teoría de Lenguajes)|Final del 11/08/08]]
*[[Final del 11/08/08 (Teoría de Lenguajes)|Final del 11/08/08]]


Línea 51: Línea 73:


'''Primeros Parciales'''
'''Primeros Parciales'''
* [https://drive.google.com/open?id=14RYiu__h3BN1z89EniGSeJbEXp8LDpqr 1 Recu 2C 2018]
* [[Medio:1P1C2018-TLeng.pdf ‎| Primer Parcial 1C 2018]]
*Primer Parcial 1C 2017:  [[Media:TLeng_1P_1C_2017.pdf|resolución (pdf)]],
*Primer Parcial 1C 2016:  [[Medio:TLeng 1parcial 30-04-16 ej1.png ‎|ej1]], [[Medio:TLeng 1parcial 30-04-16 ej2.png ‎|ej2]], [[Medio:TLeng 1parcial 30-04-16 ej3.png ‎|ej3]],
*[[Primer Parcial 1C 2012 (Teoría de Lenguajes)|Primer Parcial 1C 2012]]
*[[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'''
'''Segundos Parciales'''
* [https://drive.google.com/open?id=1fSiOPtR9SA_elpN8TOD08e-Pt0gD8MSo 2 Recu 2C 2018]
* [[Medio:T._Leng._-_2dos_Resueltos.pdf ‎| Segundos parciales resueltos]]
* [[Medio:2P2C2018-TLeng.pdf ‎| Segundo Parcial 1C 2018]]
*Segundo Parcial Recuperatorio 1C 2016: [[Medio:TLeng 2recu 04-07-16 ej1.png ‎|ej1]], [[Medio:TLeng 2recu 04-07-16 ej2.png ‎|ej2]], [[Medio:TLeng 2recu 04-07-16 ej3.png ‎|ej3]]
*Segundo Parcial 1C 2016: [[Medio:TLeng 2parcial 18-06-16 ej3.png ‎|ej3]]
*[[Segundo Parcial 1C 2012 (Teoría de Lenguajes)|Segundo Parcial 2C 2012]]
*[[Segundo Parcial 2C 2006 (Teoría de Lenguajes)|Segundo Parcial 2C 2006]]
*[[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 Recuperatorio 2C 2006 (Teoría de Lenguajes)|Segundo Parcial Recuperatorio 2C 2006]]
Línea 65: Línea 98:
== Enlaces externos ==
== Enlaces externos ==


*[http://www.dc.uba.ar/people/materias/tl/ Pagina Oficial de la Materia]
*[http://www.dc.uba.ar/materias/tl Pagina Oficial de la Materia]
*[http://web.stanford.edu/class/archive/cs/cs143/cs143.1128/ Curso de compiladores de Stanford]
*[http://www.lsi.uned.es/procleng/apuntes/2006-2007/CalculoPrimeroSiguiente.pdf Apunte sobre el calculo de Primeros y Siguientes para gramaticas]
*[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]
*[http://oscarbonilla.com/courses/compilers/ Slides de un curso de compiladores de Oscar Bonilla]
*[http://smlweb.cpsc.ucalgary.ca/ Context-Free Grammar Tool]: La Victorinox de las gramáticas libres de contexto. Genera todo tipo de autómatas y tablas y chequea muchas propiedades.
*[http://smlweb.cpsc.ucalgary.ca/ Context-Free Grammar Tool]: La Victorinox de las gramáticas libres de contexto. Genera todo tipo de autómatas y tablas y chequea muchas propiedades.
*[https://www.youtube.com/playlist?list=PLEbnTDJUr_IcPtUXFy2b1sGRPsLFMghhS Diseño de compiladores]: Clases para varios de los temas del segundo parcial.


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

Revisión del 17:39 31 ene 2019

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

Segundo Parcial

Apuntes

Ejercicios Resueltos

Apuntes de Clase

  • Apuntes de clase: los apuntes que entrega Julio en la clase, con (bastantes) correcciones y algunas anotaciones extra.

Primer Parcial

Segundo Parcial

Final

Finales

Parciales

Primeros Parciales

Segundos Parciales

Trabajos Prácticos Viejos

Enlaces externos