(Einfacher) Euklidischer Algorithmus

Eingabe: natürliche Zahlen a, b.
// Vorbedingung: a = A und b = B
// Invariante: ggt(a,b) = ggt(A,B)
while (a ungleich b) {
     if (a > b) {
         ...
     } else {
         ...
     }
}
// Nachbedingung: a = ggt(A,B)
Ausgabe: a