A medida que vaya avanzando el cuatrimestre, iremos depositando
en esta página la información relevante para el seguimiento
de la asignatura y los materiales complementarios que creamos interesantes.
No deje de visitarla periódicamente si está matriculado en
esta asignatura.
Enunciado de la práctica:
Se enunciará más adelante
Tutorías:
María Luisa González Díaz:
lunes de 16:30 a 19:30,
martes de 10 a 11 y jueves de 10 a 11 y de 13 a 14
Contenidos
Material de teoría
- Tema 1: Introducción. (Trasparencias)
- Sesión
1ª
- Sesión
2ª
- Tema 2: Máquinas secuenciales. (Trasparencias)
- Tema 2
(en un solo documento, con erratas corregidas en las trasparencias
10 y 17)
- Tema 3: Reconocedores finitos y lenguajes regulares. (Trasparencias)
- Tema 3
- Tema 4: Gramáticas formales. (Trasparencias reorganizadas en 5 bloques)
- Bloque 1
(Gramáticas formales, ... , simplificación)
- Bloque 2
(FNC, lema de bombeo, recursión izquierda, factorización)
- Bloque 3
(Autómatas con pila)
- Bloque 4
(AP: aceptación por vaciado de pila/por estado final)
- Bloque 5
(Autómatas con pila vs. Lenguajes independientes de contexto)
- Tema 5: Máquinas de Turing.
- Ideas fundamentales I
- Ideas fundamentales II
- Sesión
1ª (Transparencias)
- Sesión
2ª (Transparencias)
Trasparencias de la clase del profesor Kolar (2008-2009):
Formal Pushdown automata (pdf)
Formal Pushdown automata (imprimible pdf)
Material de problemas y ejercicios y exámenes
- Ejercicios 0: Para empezar (PDF)
- 9 de junio de 2011
(PDF)
Solución: (ejercicios 1 a 8)
(PDF)
- 22 de julio de 2010
(PDF (ejs. 1 a 6))
(PDF (ej. 7) )
- 15 de junio de 2010
(PDF (ejs. 1 a 8))
(PDF (ej. 9) )
Solución: (ejercicios 1 a 8)
(PDF)
- 7 de septiembre de 2009
(PDF)
Solución: (ejercicios 1 a 5)
(PDF)
- 18 de junio de 2009
(PDF)
Solución: (ejercicios 1 a 8)
(PDF)
- 4 de septiembre de 2008:
Parte teórica:
(PDF)
Solución:
(PDF)
Parte práctica:
(PDF)
Solución (falta el ejercicio 3):
(PDF)
- 17 de junio de 2008:
Parte teórica:
(PDF)
Solución:
(PDF)
Parte práctica:
(PDF)
Solución (falta el ejercicio 3):
(PDF)
- 5 de septiembre de 2007
(PDF)
Solución:
(PDF)
- 4 de junio de 2007
versión A :
(PDF)
versión B :
(PDF)
Solución:
versión A :
(PDF)
versión B :
(PDF)
- 12 de septiembre de 2006
(PDF)
Solución:
- 16 de junio de 2006
(PDF)
Solución:
(PDF)
(Sin el ejercicio 6)
- 5 de septiembre de 2005
(PDF)
Solución:
(PDF)
- 22 de junio de 2005
(PDF)
- 2 de septiembre de 2004
(PDF)
- 7 de junio de 2004
(PDF)
Solución:
(PDF)
- 5 de septiembre de 2003
(PS)
Solución:
(PS)
- 16 de junio de 2003
(PDF)
Solución:
(PS)
- 12 de septiembre de 2002
(PDF)
- 24 de junio de 2002
(PDF)
Solución:
(PDF)
- 7 de septiembre de 2001
(PDF)
- 21 de junio de 2001
(PDF)
Solución:
(PDF)
- 6 de septiembre de 2000
(PDF)
- 24 de junio de 2000
(PDF)
- 25 de junio de 1998
(PDF)
- Varios problemas
(PDF)
Material de Prácticas en Aula
-
C1: Introducción a la construcción de compiladores.
Trasparencias.
(PDF)
-
C2: Análisis léxico.
Trasparencias.
(PDF )
- (2006-2007:) Análisis sintáctico (PowerPoint)
(PPT)
- Análisis sintáctico predictivo (presentación de PowerPoint)
(PPS)
(versión para S.O. anterior:
PPT)
- (2006-2007:) Análisis semántico (PowerPoint)
(PPT)
Material adicional de Prácticas en Aula
A7: Introducción a la construcción de compiladores
[Apuntes de cursos pasados]
(PDF )
A3-A6: Una herramienta para el Análisis Léxico. LEX.
[Apuntes de cursos pasados]
(PDF)
A8: Analizadores sintácticos.
Construcción con Yacc (I)
[Apuntes de cursos pasados]
(PDF )
A9: Analizadores sintácticos.
Construcción con Yacc (II): Conflictos
[Apuntes de cursos pasados]
(PDF )
Errores en el Análisis sintáctico predictivo
(presentación de PowerPoint)
[cursos pasados]
(PPS)
(versión para S.O. anterior:
PPT)
Análisis sintáctico ascendente (presentación de PowerPoint)
[cursos pasados]
(PPS)
(versión para S.O. anterior:
PPT)
Material de Laboratorio
Textos de prueba para las prácticas:
quijote.txt,
findip.c
Página para el laboratorio:
(HTML)
A1: Expresiones regulares en UNIX. grep y sus parientes.
(PDF)
L1: Sacamos partido de 'grep' y sus parientes.
(PDF)
L3: Lex I.
(PDF)
L4: Lex II.
(PDF)
L5: Lex III.
(PDF)
L6: Lex IV.
(PDF)
L8: Yacc I.
(PDF)
L9: Yacc II.
(PDF)
L10: Yacc III.
(PDF)
L11: Yacc IV.
(PDF)
Material adicional de Laboratorio
A2: Expresiones regulares en UNIX II. sed y awk.
[Apuntes de cursos pasados]
(PDF)
L2: Sed y Awk.
[Apuntes de cursos pasados]
(PDF)
L7: Análisis léxico en entornos web.
[Apuntes de cursos pasados]
(PDF)
Enlaces
Un simulador simple de Máquinas de Turing (aplet java)
Pg. simulador
Un paquete para practicar con autómatas finitos,
expresiones regulares, autómatas con pila, máquinas de Turing,
gramáticas, etc. :
JFLAP
Un libro electrónico sobre autómatas y lenguajes:
(en español de Méjico)
Brena Pinero
(enviado por Patricia Ferreras González)
Si tienes un enlace interesante que crees puede servir para todos,
hazme llegar un correo para incluirlo en esta sección. Gracias.
[:-) ¡Sí!, tengo un enlace]
Cursos Similares (Extranjero)
- CS154 de Universidad de Stanford (Ullman)
- COMP 335 de Universidad de Concordia[Canadá] (transparencias
útiles)
Lex y Yacc
The Lex & Yacc Page
|