Diferencia entre revisiones de «Teoría de Lenguajes»

De Cuba-Wiki
(No se muestran 11 ediciones intermedias de 8 usuarios)
Línea 1: Línea 1:
'''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]].
'''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 según el plan de la carrera, debería cursarse en Cuarto Año. Es correlativa de [[Lógica y Computabilidad]].
Se cursa los Lunes, Miercoles y Jueves.
Se cursa los Lunes, Miércoles y Jueves.


==Programa==
==Programa==
Línea 57: Línea 57:


== 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 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 13/11/17 (Teoría de Lenguajes)|Final del 13/11/17]]
Línea 72: Línea 73:


'''Primeros Parciales'''
'''Primeros Parciales'''
* [[Medio:TLeng_1parcial_23-9-19_resuelto.pdf | Primer Parcial 2C 2019 (Resuelto)]]
* [[Medio:1R1C2019-TLeng.pdf | Primer Recuperatorio 1C 2019 (Resuelto)]]
* [[Medio:1P1C2019-TLeng.pdf | Primer Parcial 1C 2019 (Resuelto)]]
* [https://drive.google.com/open?id=14RYiu__h3BN1z89EniGSeJbEXp8LDpqr 1 Recu 2C 2018]
* [[Medio:1P1C2018-TLeng.pdf ‎| Primer Parcial 1C 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 2017:  [[Media:TLeng_1P_1C_2017.pdf|resolución (pdf)]],
Línea 79: Línea 84:


'''Segundos Parciales'''
'''Segundos Parciales'''
* [[Medio:2R1C2019-TLeng.pdf | Segundo Recuperatorio 1C 2019 (Resuelto)]]
* [[Media: Tleng_segundo_parcial_2019_2c.pdf | Segundo Parcial 1C 2019 (resuelto)]]
* [https://drive.google.com/open?id=1fSiOPtR9SA_elpN8TOD08e-Pt0gD8MSo 2 Recu 2C 2018]
* [[Medio:T._Leng._-_2dos_Resueltos.pdf ‎| Segundos parciales resueltos]]
* [[Medio:T._Leng._-_2dos_Resueltos.pdf ‎| Segundos parciales resueltos]]
* [[Medio:2P2C2018-TLeng.pdf ‎| Segundo Parcial 1C 2018]]
* [[Medio:2P2C2018-TLeng.pdf ‎| Segundo Parcial 1C 2018]]
Línea 100: Línea 108:
*[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]: Clases para varios de los temas del segundo parcial.
*[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 16:13 8 oct 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 según el plan de la carrera, debería cursarse en Cuarto Año. Es correlativa de Lógica y Computabilidad. Se cursa los Lunes, Miércoles 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