En cuanto a la teoría de la computación, hay que decir que está considerada como una ciencia centrada en el estudio y la definición formal de los cómputos. Esta disciplina define al cómputo como el producto de una solución o de un resultado, en especial en el sentido matemático/aritmético del concepto, utilizando un proceso o algoritmo.