Im Text Theoretische Informatik I der letzten Stunde ist auf den Seiten 3 und 4 eine sogenannte Zählmaschine als ein abstraktes Beispiel für ein minimales Rechnermodell angegeben. Es gibt lediglich die folgenden Anweisungen, mit denen dann alle Algorithmen ausgeführt werden können. Die Maschine arbeitet nur mit natürlichen Zahlen.
Aufgabe 1: Formuliere in dieser "Programmiersprache" ein kleines Programmstück, das eine Zuweisung einer Variablen x an eine Variable y (In Java-Code: y = x;) vornimmt.
Aufgabe 2: Formuliere in dieser "Programmiersprache" ein kleines Programmstück, das eine Erhöhung einer Variablen y um eine Variable x (In Java-Code: y = y + x;) vornimmt.
Weiteres Beispiel: Eine Programmstruktur wie in Java
if (Ausdruck) // Ausdruck ist boolescher Ausdruck, also 1 oder 0 fuer true oder false. { Anweisung; }
kann wie folgt in der Mini-Programmiersprache nachgebildet werden.
h = Ausdruck // Hilfsvariable h ist 0 oder 1 while h <> 0 do Anweisung; h = 0; end