Denning, la pregunta fundamental en ciencias de la computación es, «¿Qué puede ser eficientemente automatizado?» El estudio de la teoría de la computación está enfocado en responder preguntas fundamentales acerca de qué puede ser computado y qué cantidad de recursos son requeridos para ejecutar tales cómputos.