Esta teoría provee modelos matemáticos que formalizan el concepto de "computadora" o "algoritmo" de manera suficientemente simplificada y general para que se puedan analizar sus capacidades y limitaciones.