1. esaldia: Turing-makina orokortuak eta Turing-makina induktibo sinpleak algoritmo superrekursiboen bi klase dira algoritmo rekursiboen hurbilenak direnak. 2. esaldia: Turing-makina orokortuak eta Turing-makina superrekurtsiboak algoritmo errekurtsiboen hurbilenak diren algoritmo induktibo sinpleen bi klase dira. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
-Ez, ez.