Frase 1: Máquinas de Turing xeneralizadas e máquinas de Turing indutivas simples son dúas clases de algoritmos superrecursivos que se achegan máis aos algoritmos recursivos. Frase 2: Máquinas de Turing xeneralizadas e máquinas de Turing indutivas simples son dúas clases de algoritmos superrecursivos que son os máis próximos aos algoritmos recursivos. Pregunta: A frase 1 e a frase 2 expresan o mesmo significado? Si ou non?
Si, si.