El campo de la Teoría de la computación en Ciencias de la computacion involucra las subareas de

1. Teoría de la computación
2. Teoría de autómatas: estudia matemáticamente máquinas abstractas y problemas que éstas son capaces de resolver
3. Teoria de la computabilidad: estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing.
4. Teoría de la complejidad computacional: Estudia teoricamente los recursos requeridos durante el cálculo para resolver un problema (tiempo y espacio)

Originalmente escrito en CienciasdelaComputacion ProgInternet.com