Inhaltsverzeichnis
6 Beziehungen: Church-Turing-These, LOOP-Programm, Rekursive Sprache, Sprunganweisung, Turing-Vollständigkeit, WHILE-Programm.
Church-Turing-These
Die Church-Turing-These (benannt nach Alonzo Church und Alan Turing, auch Churchsche These genannt) trifft Aussagen über die Fähigkeiten einer Rechenmaschine.
Sehen GOTO-Programm und Church-Turing-These
LOOP-Programm
LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt.
Sehen GOTO-Programm und LOOP-Programm
Rekursive Sprache
In der theoretischen Informatik heißt eine formale Sprache L über einem Alphabet \Sigma rekursiv (entscheidbar), wenn eine Turingmaschine M existiert, die auf allen Eingaben w \in \Sigma^* hält und jede Eingabe w \in \Sigma^* genau dann akzeptiert, wenn w \in L ist.
Sehen GOTO-Programm und Rekursive Sprache
Sprunganweisung
Eine Sprunganweisung oder ein Sprungbefehl ist eine Anweisung in einer Programmiersprache.
Sehen GOTO-Programm und Sprunganweisung
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Sehen GOTO-Programm und Turing-Vollständigkeit
WHILE-Programm
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
Sehen GOTO-Programm und WHILE-Programm
Auch bekannt als Goto-Berechenbarkeit.