Ich habe im Internet gesucht und finde etwas widersprüchliche Antworten. Einige Quellen behaupten, dass eine Sprache / Maschine / was-hast-du ist Turing vollständig, wenn und nur wenn es hatbeid Bedingte und bedingungslose Verzweigung (was meiner Meinung nach redundant ist), einige sagen, dass nur bedingungslose, andere nur bedingte Verzweigungen erforderlich sind.

Lesen über die deutsche Z3 und ENIAC, Sagt Wikipedia:

Der deutsche Z3 (gezeigt im Mai 1941) wurde von Konrad Zuse entworfen. Es war der erste Allzweck-Digitalcomputer, aber er war eher elektromechanisch als elektronisch, da er Relais für alle Funktionen verwendete. Es wurde logisch unter Verwendung von binärer Mathematik berechnet. Es war durch Lochstreifen programmierbar, es fehlte jedoch der bedingte Zweig. Obwohl es nicht auf Turing-Vollständigkeit ausgelegt war, war es, wie 1998 herausgefunden wurde, aus Versehen so (aber um diese Turing-Vollständigkeit auszunutzen, waren komplexe, clevere Hacks notwendig

Welche komplexen, cleveren Hacks genau?

n einem 1998 erschienenen Abstract von R. Rojas heißt es ebenfalls (Beachten Sie, dass ich dieses Papier nicht gelesen habe, es ist nur ein Ausschnitt aus dem IEEE.):

Die von Konrad Zuse zwischen 1938 und 1941 gebaute Rechenmaschine Z3 konnte nur feste Folgen von Gleitkomma-Rechenoperationen (Addition, Subtraktion, Multiplikation, Division und Quadratwurzel) ausführen, die auf einem Lochstreifen codiert waren. Unter dem Gesichtspunkt der Geschichte des Rechnens ist eine interessante Frage zu stellen, ob diese Operationen für eine universelle Berechnung ausreichen oder nicht. Das Papier zeigt, dass tatsächlich eine einzelne Programmschleife, die diese arithmetischen Anweisungen enthält, jede Turing-Maschine simulieren kann, deren Band eine bestimmte endliche Größe hat. Dies geschieht durch Simulation einer bedingten Verzweigung und einer indirekten Adressierung mit rein arithmetischen Mitteln. Der Z3 von Zuse ist daher zumindest im Prinzip so universell wie heutige Computer mit begrenztem Adressraum.

Kurz gesagt, SOers, welche Art von Verzweigung ist für die Turing-Vollständigkeit genau erforderlich? Unter der Annahme unendlichen Gedächtnisses kann eine Sprache nur mit einemgoto oderjmp branching construct (noif oderjnz Konstrukte) als Turing-vollständig betrachtet werden?