Sentència 1: Les màquines de Turing generalitzades i les màquines de Turing inductives simples són dues classes d' algoritmes superrecursius que s' aproximen més als algoritmes recursius. Sentència 2: Les màquines de Turing generalitzades i les màquines de Turing superrecursives són dues classes d' algoritmes inductius simples que són els més propers als algoritmes recursius. Pregunta: La frase 1 i la frase 2 expressen el mateix significat? Sí o no?
No, no.