Imagen del curso Computabilidad y Complejidad
Área Autómatas y Lenguajes
Esta asignatura tiene como objetivo introducir al alumno en los modelos formales de la Teoría de la Computación:
a) A los efectos de obtener un entendimiento y dominio adecuado de los fundamentos de la Ciencia de Computación en cuanto a lo que puede y no puede ser computado (computabilidad) y también las costo en tiempo y/o espacio (complejidad) de aquellos lenguajes (problemas) que pueden ser decididos (resueltos).
b) Los contenidos de esta materia son una continuación de la materia Autómatas y Lenguajes en la cual fueron estudiados modelos más limitados del concepto de computación.
c) El modelo principal de computación usado aquí es la Máquina de Turing y alguna de sus variantes.