Teoria de la computació

Teoria de la computació (TC)



Professors:

 Carme Alvarez (grup 11)
Enrique Romero (grup 12)
Guillem Godoy (Coordinador)


Avisos:

Apunts, exàmens y altres exercicis:

Información para la evaluación continua:
Juez online.

Ejercicios para la evaluación continua (actualizado 11/Febrero/2015).

Vídeos del curso:
  1. Teoría de lenguajes (1).
  2. Teoría de lenguajes (2).
  3. Teoría de lenguajes (3).
  4. Autómatas finitos deterministas.
  5. Autómatas finitos indeterministas.
  6. Notacions de DFAs i NFAs (1).
  7. Notacions de DFAs i NFAs (2).
  8. Operacions sobre Reg (1).
  9. Operacions sobre Reg (2).
  10. Operacions sobre Reg (3).
  11. Minimització de DFAs (1).
  12. Minimització de DFAs (2).
  13. Minimització de DFAs (3).
  14. Gramáticas incontextuales.
  15. Operaciones sobre gramáticas.
  16. Depuración de gramáticas (1).
  17. Depuración de gramáticas (2).
  18. Depuración de gramáticas (3).
  19. Expresiones regulares (1).
  20. Expresiones regulares (2).
  21. No regularidad (1).
  22. No regularidad (2).
  23. Autómatas con pila (PDA).
  24. Equivalencia entre CFG y PDA (1).
  25. Equivalencia entre CFG y PDA (2).
  26. Operaciones sobre PDA, y Jerarquia de Chomsky.
  27. Maquinas de Turing (1).
  28. Maquinas de Turing (2).
  29. Equivalencia TM-programas.
  30. Asumciones sobre TM-programas.
  31. Operaciones sobre TM-programas.
  32. No decidibilidad.
  33. No semi-decidibilidad..
  34. No computabilidad.
  35. Accesibilidad y PCP-INI.
  36. PCP, Intersección no vacía, ambiguedad.
  37. No universalidad, Lógica de palabras.

Vídeos complementarios: