Estos modelos teóricos simulan ser una máquina de Turing recibiendo en su entrada, todo lo relativo al modelo a imitar, sin embargo poseen un conjunto finito que no debe ser modificado.