Se trata de una máquina teórica que nos permite identificar los algoritmos o procedimientos efectivos.