Diferencia entre revisiones de «Teoría de Lenguajes»

De Cuba-Wiki
Sin resumen de edición
 
(No se muestran 19 ediciones intermedias de 12 usuarios)
Línea 1: Línea 1:
{{Plan 1993|Lenguajes Formales, Autómatas 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]].
'''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 y Jueves.
Se cursa los Lunes y Jueves.
Línea 30: Línea 31:
*[[Práctica 11: Gramaticas y parsers LR (Teoría de Lenguajes)|Práctica 11: Gramaticas y parsers LR]]
*[[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]]
*[[Práctica 12: Gramaticas de atributos y TDS (Teoría de Lenguajes)|Práctica 12: Gramaticas de atributos y TDS]]
===2022===
*[https://drive.google.com/file/d/1Xd3fcwWIA93taaJkS_xUbsWLn7spHySO/view Mayoría de las guías prácticas resueltas, 1C 2022]


==Apuntes==
==Apuntes==
Línea 47: Línea 51:


'''Final'''
'''Final'''
*[[Ejemplos de Lenguajes (Teoría de Lenguajes)|Ejemplos]]: Ejemplos de lenguajes y gramáticas vistos en la materia.
*[[Medio:TLeng_Resumen_Final_2022.pdf|Apunte/Resumen de Teoría de Lenguajes]], preparado por un alumno para rendir el final, y escrito en base a las clases teóricas (y complementado con las clases prácticas y un poquito de la bibliografía) del primer cuatrimestre de 2022. Contiene todos los temas que se vieron en la cursada, incluyendo teoremas con (generalmente) sus demostraciones.
*[[Medio:TLeng_Resumen_Final_2022.pdf|Apunte/Resumen de Teoría de Lenguajes]], preparado por un alumno para rendir el final, y escrito en base a las clases teóricas (y complementado con las clases prácticas y un poquito de la bibliografía) del primer cuatrimestre de 2022. Contiene todos los temas que se vieron en la cursada, incluyendo teoremas con (generalmente) sus demostraciones.
*[[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_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.
Línea 54: Línea 59:
** [[Demostraciones Lenguajes Regulares (Teoría de Lenguajes)|Lenguajes Regulares]]
** [[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.
*[[Preguntas de Final (Teoría de Lenguajes)|Preguntas]]: Lista de ''algunas'' preguntas de final tomados en los últimos años.
*[[Medio:TLeng_preguntas-final_1c22.pdf|Preguntas de ejemplo para el final]], provistas por la profesora (Verónica Becher) para que preparemos el final de invierno 2022. Los finales de esas fechas fueron a libro abierto, y tuvieron ejercicios "de ese estilo" (ninguno exactamente como esos).
*Preguntas 2022: Lista provista por Verónica Becher. Los finales fueron a libro abierto y tuvieron ejercicios ''de ese estilo'' (ninguno exactamente como esos).
*[[Ejemplos de Lenguajes (Teoría de Lenguajes)|Ejemplos]]: Ejemplos de lenguajes y gramáticas vistos en la materia.
**[[Medio:TLeng_preguntas-final_1c22.pdf|Julio 2022]]
**[[Medio:TLeng_preguntas-final_2c22.pdf|Noviembre 2022]]: [https://drive.google.com/file/d/1__a0oT5qbrc7aUTY1cVliVOEC-vxZiR_/view?usp=sharing Respuestas]


== Finales ==
== Finales ==
Ver en [[Demostraciones (Teoría de Lenguajes)]] la nota sobre demostración de lema de pumping para LLC, lo toman siempre.
Ver en [[Demostraciones (Teoría de Lenguajes)]] la nota sobre demostración de lema de pumping para LLC, lo toman siempre.


*[[Medio:tleng 22.07.2024.jpg | Final del 22/07/24]]
*[[Medio:tleng 15.07.2024.jpg | Final del 15/07/24]]
*[[Final del 08/05/24]]
*[[Medio:tleng 04.03.2024.jpg | Final del 04/03/24]]
*[[Medio:tleng 26.02.2024.jpg | Final del 26/02/24]]
*[[Medio:tleng 19.02.2024.jpg | Final del 19/02/24]]
*[[Final del 20/12/23 (Teoría de Lenguajes)|Final del 20/12/23]]
*[[Final del 13/06/23 (Teoría de Lenguajes)|Final del 13/06/23]] [[Resolución Final del 13/06/23 (Teoría de Lenguajes)|Resolución]]
*[[Finales Virtuales Tleng| Finales virtuales]]
*[[Finales Virtuales Tleng| Finales virtuales]]
*[[Final del 25/09/20 (Teoría de Lenguajes)|Final del 25/09/20]]
*[[Final del 25/09/20 (Teoría de Lenguajes)|Final del 25/09/20]]
Línea 82: Línea 96:


'''Primeros Parciales'''
'''Primeros Parciales'''
* 2C 2023: [[Medio:tleng-23-2c-1p.pdf | Primer parcial]] | [[Medio:tleng-23-2c-1r.pdf | Primer recuperatorio]]
* 1C 2023: [[Medio:tleng-23-1c-1p.pdf | Primer parcial]] ([[Medio:TLeng_1parcial_08-05-2023.pdf|Resuelto]]) | [[Medio:tleng-23-1c-1r.pdf | Primer recuperatorio]]
* 2C 2022: [[Medio:tleng-22-2c-1p.pdf | Primer parcial]] | [[Medio:tleng-22-2c-1r.pdf | Primer recuperatorio]]
* [[Medio:TLeng_1parcial_02-05-22.pdf | Primer parcial 1C 2022]]
* [[Medio:TLeng_1parcial_02-05-22.pdf | Primer parcial 1C 2022]]
* [[Medio:TLeng_1parcial_29-4-21.pdf | Primer parcial 1C 2021]]
* [[Medio:TLeng_1parcial_29-4-21.pdf | Primer parcial 1C 2021]]
Línea 96: Línea 113:


'''Segundos Parciales'''
'''Segundos Parciales'''
* 2C 2023: [[Medio:tleng-23-2c-2p.pdf | Segundo parcial]] | [[Medio:tleng-23-2c-2r.pdf | Segundo recuperatorio]]
* 1C 2023: [[Medio:tleng-23-1c-2p.pdf | Segundo parcial]] | [[Medio:tleng-23-1c-2r.pdf | Segundo recuperatorio]]
* 2C 2022: [[Medio:tleng-22-2c-2p.pdf | Segundo parcial]] ([[Medio:TLeng_2parcial_2022.pdf|Resuelto]]) | [[Medio:tleng-22-2c-2r.pdf | Segundo recuperatorio]]
*
* [[Medio:TLeng_2parcial_11-11-2021.pdf|Segundo Parcial 2C 2021 (Resuelto)]]
* [[Medio:TLeng_2parcial_11-11-2021.pdf|Segundo Parcial 2C 2021 (Resuelto)]]
* [[Medio:TLeng_2recu_03-08-2020.pdf | Segundo Recuperatorio 1C 2020 (Resuelto)]]
* [[Medio:TLeng_2recu_03-08-2020.pdf | Segundo Recuperatorio 1C 2020 (Resuelto)]]

Revisión actual - 01:45 2 sep 2024

Esta página es sobre la materia del plan de estudios 1993. Para ver la materia del plan 2023, consultar Lenguajes Formales, Autómatas 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 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 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

2022

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

Ver en Demostraciones (Teoría de Lenguajes) la nota sobre demostración de lema de pumping para LLC, lo toman siempre.

Parciales

Primeros Parciales

Segundos Parciales

Enlaces externos