Para la definición anterior se ha fijado el modelo de cómputo: la Máquina de Turing determinista.