Inhaltsverzeichnis
9 Beziehungen: Berechenbarkeit, Church-Turing-These, Echtzeitbetriebssystem, GOTO-Programm, Loop, Primitiv-rekursive Funktion, Rekursive Sprache, Turing-Vollständigkeit, WHILE-Programm.
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Sehen LOOP-Programm und Berechenbarkeit
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 LOOP-Programm und Church-Turing-These
Echtzeitbetriebssystem
Ein Echtzeitbetriebssystem (englisch real-time operating system, kurz RTOS genannt) ist ein Betriebssystem in der elektronischen Datenverarbeitung, das in der Lage ist, Echtzeit-Anforderungen der Anwendungen zu erfüllen.
Sehen LOOP-Programm und Echtzeitbetriebssystem
GOTO-Programm
GOTO-Programme sind spezielle Programme mit einer sehr einfachen Syntax.
Sehen LOOP-Programm und GOTO-Programm
Loop
Loop (englisch „Schleife“) steht für.
Sehen LOOP-Programm und Loop
Primitiv-rekursive Funktion
Primitiv-rekursive Funktionen sind totale Funktionen, die aus einfachen Grundfunktionen (konstante 0-Funktion, Projektionen auf ein Argument und Nachfolgefunktion) durch Komposition und (primitive) Rekursion gebildet werden können.
Sehen LOOP-Programm und Primitiv-rekursive Funktion
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 LOOP-Programm und Rekursive Sprache
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Sehen LOOP-Programm und Turing-Vollständigkeit
WHILE-Programm
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
Sehen LOOP-Programm und WHILE-Programm
Auch bekannt als LOOP-Programme, Loop (Programmiersprache), Loop-Berechenbarkeit.