Es una rama de la matemática
que centra su interés en las
limitaciones y capacidades
fundamentales de las
computadoras
Teoría de la Complejidad Computacional
Estudia las necesidades de memoria, tiempo y otros recursos
computacionales para resolver problemas, de esta manera es
posible explicar por qué unos problemas son más difíciles de
resolver que otros
Teoría de
Automatas
Son modelos matemáticos para maquinas que tienen un estado finito. La mayoia de las veces
se clasifican de acuerdo al lenguaje formal que son capaces de reconocer