1. mondat: Az általánosított Turing-gépek és az egyszerű indukciós Turing-gépek két olyan szuperrekurzív algoritmusok, amelyek a legközelebb állnak a rekurzív algoritmusoknak. 2. mondat: Általánosított Turing-gépek és szuper-rekurzív Turing-gépek két egyszerű indukciós algoritmus, amelyek a legközelebb állnak a rekurzív algoritmusokhoz. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
Nem, nem.