Goto-Berechenbarkeit

Goto-Programme:

Sequenzen von Anweisungen mit Marken: M1: A1; M2: A2; ...; Mk: Ak

(Marken, zu denen nie gesprungen wird, dürfen entfallen)

Anweisungen:

Wertzuweisungen:

unbedingter Sprung:

bedingter Sprung:

Stopanweisung:

xi = xj ± c

goto Mi (Ai wird als nächstes ausgeführt)

IF (xi == c) goto Mi;

In C durch return realisierbar

While-Schleifen lassen sich mit Goto's simulieren: Aus

while (xi !=0) P

if (xi == 0) goto M2;

goto M1;

...

M1:

M2:

Funktion Goto-berechenbar: es gibt entsprechendes Goto-Programm

wird