Teoría de la Computación
Calendario
| Semana | Fecha | Clase / actividad | Evaluación | Sec. Sipser | Sec. Navarro | Handout | Slides |
|---|---|---|---|---|---|---|---|
| 1 | Mar. 4 ago. | 1.1 Introducción al curso | — | 0.2 | 1.4 |
PDF Animadas |
|
| 1 | Jue. 6 ago. | 1.2 Autómatas finitos deterministas | — | 1.1 | 2.2 |
PDF Animadas |
|
| 2 | Mar. 11 ago. | 1.3 Autómatas finitos no deterministas | — | 1.2 | 2.3 |
PDF Animadas |
|
| 2 | Jue. 13 ago. | 1.4 Equivalencia entre AFND y AFD, operaciones regulares y expresiones regulares | — | 1.2.2 y 1.3.1 | 2.5 y 2.7 |
PDF Animadas |
|
| 3 | Mar. 18 ago. | 1.5 Lenguajes regulares | — | 1.3.2 | 2.1 2.4–2.61 |
PDF Animadas |
|
| 3 | Jue. 20 ago. | 1.6 Lenguajes no regulares | — | 1.4 | 2.8 |
PDF Animadas |
|
| 4 | Mar. 25 ago. | 2.1 Gramáticas libres de contexto | — | 2.1.1-2.1.3 | 3.1-3.2 | — | — |
| 4 | Jue. 27 ago. | 2.2 Autómatas de pila | — | 2.2.1-2.2.2 | 3.3-3.4 | — | — |
Bibliografía
- Michael Sipser, Introduction to the Theory of Computation (3.ª ed.).
- Gonzalo Navarro, Teoría de la Computación: Apuntes y Ejercicios.