Pirmasis sakinys: Apibendrintos Turingo mašinos ir paprastos indukcinės Turingo mašinos yra dvi superrekursiškų algoritmų klasės, kurios yra arčiausiai rekursiškų algoritmų. 2 sakinys: Apibendrintos Turingo mašinos ir paprastos indukcinės Turingo mašinos yra dvi superrekursiškų algoritmų klasės, kurios yra arčiausiai rekursiškų algoritmų. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Taip