Año 2020, Ingenieria en Informática, Universidad Blas Pascal.
| Tema | |
|---|---|
| 10/9 | Intro. Máquinas de Turing. |
| 17/9 | Lenguajes formales. Lenguajes decidibles. |
| 24/9 | Clase P. |
| 1/10 | Clase NP. |
| 8/10 | Reducciones. Completitud en NP. |
| 15/10 | Repaso ejercicios. |
| 22/10 | parcial 2 |
| 29/10 | Automatas finitos deterministas |
| 5/11 | Automatas finitos no deterministas |
| 12/11 | Automatas finitos con transiciones ϵ |
| 19/11 | parcial 3 |
| 26/11 | recuperatorios |
El examen final consiste en dos partes, una corregida por la prof. Graciela Lerda, otra for el prof. Guillaume Hoffmann. Esta segunda parte consiste de ejercicios entre los siguientes: