Registermaschine/Multiplikation von zwei Registerinhalten/Beispiel

Die beiden Registerinhalte (von ) und (von ) sollen multipliziert werden, wobei das Produkt zum Schluss in stehen soll (es seien paarweise verschieden). Dies leistet das folgende Programm mit dem Hilfsregister .

  1. Leere
  2. Übertrage den Inhalt von nach ohne zu leeren
  3. Addiere den Inhalt von zu hinzu
  4. Gehe zu
  5. Halte an

Die Korrektheit dieses Programms beruht auf ; für das Produkt muss man -mal mit sich selbst addieren.