The use of Turing machines here is not necessary; there are many other models of computation that have the same computing power as Turing machines; for example the μ-recursive functions obtained from primitive recursion and the μ operator.
Utilizarea mașinii Turing aici nu este necesară; există multe alte modele de calcul⁠(d) care au aceeași putere de calcul ca și mașina Turing; de exemplu funcțiile μ-recursive⁠(d) obținute din operatorul primitiv de recursivitate și operatorul μ.