eine Folge von einfachen, durchnumerierten Anweisungen, die außer bei Ausführung einer Sprunganweisung in sequentieller Weise abzuarbeiten sind.

Eine Anweisung kann sein: eine Wertzuweisung der Form x := y, x := c, x := x + 1, x := x − 1 (wobei x, y Programmvariablen sind, und c eine Konstante ist) oder eine (bedingte) Sprunganweisungder Form \begin{eqnarray}\text{IF}\,x=0\,\text{THEN}\,\text{GOTO}\,n\,.\end{eqnarray}

Die Berechnung eines GOTO-Programms erfolgt folgendermaßen: Wenn das Programm mit den Startwerten n₁,…,n_k in den Programmvariablen x₁,…,x_k und mit der ersten Anweisung gestartet wird, so stoppt dieses mit dem berechneten Funktionswert f(n₁,…,n_k) in der Programmvariablen y. Falls f(n₁,…,n_k) undefiniert ist (partielle Funktion), so stoppt das Programm nicht.

GOTO-Programme sind im wesentlichen identisch mit Programmen für Registermaschinen.