Three simulations of Turing machines with the use of real recursive functions
Monika Piekarz · Studia Iuridica Lublinensia (Uniwersytet Marii Curie-Skłodowskiej w Lublinie) · 2004
Three simulation algorithms of Turing machines by means of real recursive functions are proposed.Moore's shifting mapping GS is used to this end.The relationship between a simulation dimension and classes of η -hierarchy is established.