Edición de «Teoría de Lenguajes»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
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 | Se cursa los Lunes, Miercoles y Jueves. | ||
Se cursa los Lunes y Jueves. | |||
==Programa== | ==Programa== | ||
Línea 7: | Línea 6: | ||
'''Primera Parte''' | '''Primera Parte''' | ||
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. | 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 31: | Línea 30: | ||
*[[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]] | ||
==Apuntes== | ==Apuntes== | ||
Línea 39: | Línea 35: | ||
'''Ejercicios Resueltos''' | '''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: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. | ||
'''Apuntes de Clase''' | '''Apuntes de Clase''' | ||
Línea 51: | Línea 46: | ||
'''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_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]) | *[[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]) | ||
Línea 59: | Línea 52: | ||
** [[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. | ||
* | *[[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 == | == Finales == | ||
*[[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]] | ||
*[[Final del 19/05/17 (Teoría de Lenguajes)|Final del 19/05/17]] | *[[Final del 19/05/17 (Teoría de Lenguajes)|Final del 19/05/17]] | ||
Línea 90: | Línea 70: | ||
'''Primeros Parciales''' | '''Primeros Parciales''' | ||
*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)]], | ||
*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 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]], | ||
Línea 107: | Línea 76: | ||
'''Segundos Parciales''' | '''Segundos Parciales''' | ||
*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 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 2016: [[Medio:TLeng 2parcial 18-06-16 ej3.png |ej3]] | ||
Línea 126: | Línea 83: | ||
*[[Segundo Parcial 1C 2006 (Teoría de Lenguajes)|Segundo Parcial 1C 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]] | *[[Segundo Recuperatorio 1C 2006 (Teoría de Lenguajes)|Segundo Parcial Recuperatorio 1C 2006]] | ||
==Trabajos Prácticos Viejos== | |||
*[[:Media:TLeng-2006-01-TP-0001.pdf|2006 - 1er Cuatrimestre TP]] | |||
== Enlaces externos == | == Enlaces externos == | ||
*[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://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://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. | ||
[[Category:Materias]] | [[Category:Materias]] | ||
[[Category:Computación]] | [[Category:Computación]] | ||
[[Category:Programación]] | [[Category:Programación]] |