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 .
- Leere
- Übertrage den Inhalt von nach ohne zu leeren
- Addiere den Inhalt von zu hinzu
- Gehe zu
- Halte an
Die Korrektheit dieses Programms beruht auf ; für das Produkt muss man -mal mit sich selbst addieren.