- Wertzuweisungen
- Unkonditionale Sprünge
- Bedingte Sprünge
- Stop-Anweisung
Satz: Äquivalenz von While- und Goto-Sprache
Funktion While-Berechenbar
Funktion Goto-Berechenbar
Satz: Turing-Maschinen und Goto-Programme
Jede deterministische Turing-Maschine kann durch ein Goto-Programm simuliert werden.