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== | ||
'''Apuntes de Clase''' | '''Apuntes de Clase''' | ||
Línea 51: | Línea 43: | ||
'''Final''' | '''Final''' | ||
*[[Medio:TLeng_Apunte_2015_Jsackmann.epub|Apunte de Teoría de Lenguajes]]: contiene la parte de Julio y unos mínimos comentarios sobre parsing no determinístico. Preparado en 2015. | |||
*[[Medio:TLeng_Apunte_2015_Jsackmann.epub|Apunte de Teoría de Lenguajes]] | |||
*[[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]) | ||
*[http://es.scribd.com/doc/49811568/Apunte-de-Teoria-de-Lenguajes?secret_password=11sxk5o1z1mrrw6erjs2 Apunte para el final de Soledad Ramusio] | *[http://es.scribd.com/doc/49811568/Apunte-de-Teoria-de-Lenguajes?secret_password=11sxk5o1z1mrrw6erjs2 Apunte para el final de Soledad Ramusio] | ||
Línea 59: | Línea 49: | ||
** [[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 19/02/15 (Teoría de Lenguajes)|Final del 19/02/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 22/12/14 (Teoría de Lenguajes)|Final del 22/12/14]] | ||
Línea 90: | Línea 62: | ||
'''Primeros Parciales''' | '''Primeros Parciales''' | ||
*[[Primer Parcial 1C 2012 (Teoría de Lenguajes)|Primer Parcial 1C 2012]] | *[[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''' | ||
*[[Segundo Parcial 1C 2012 (Teoría de Lenguajes)|Segundo Parcial 2C 2012]] | *[[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]] | ||
Línea 126: | Línea 71: | ||
*[[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]] |