La teoría, a causa de su simplicidad, captura las características esenciales de la naturaleza del cómputo.