Los modelos más comunes son la máquina de Turing, máquina de registro y funciones μ-recursivas.