Saz 1: Generaliséiert Turing Maschinnen an einfach induktiv Turing Maschinnen sinn zwou Klassen vu super-rekursive Algorithmen déi am nootste zu de rekursive Algorithmen kommen. Saz 2: Generaliséiert Turing Maschinnen an super-rekursiv Turing Maschinnen sinn zwou Klassen vun einfache induktive Algorithmen déi am nootste zu rekursive Algorithmen sinn. Fro: Hunn de Saz 1 an de Saz 2 déiselwecht Bedeitung? Jo oder Nee?
Net