Die Modulo Operation wird mit Hilfe der Subtraktion implementiert. Solange die obere Zahl grösser ist als die untere, wird die untere von der oberen subtrahiert. Das Resultat der Subtraktion wird direkt über die obere Zahl geschrieben.

Die Lösung kann grob in zwei Phasen unterteilt werden:

  1. Die beiden Zahlen werden miteinander verglichen (grün eingerahmte Zustände). Falls die untere grösser ist, hält die Turing Maschine.
  2. Die untere Zahl wird von der oberen subtrahiert (blau eingerahmte Zustände).