Registermaschine/Multiplikation von zwei Registerinhalten/Beispiel

Die beiden Registerinhalte $r_{i}$ (von $R_{i}$ ) und $r_{j}$ (von $R_{j}$ ) sollen multipliziert werden, wobei das Produkt zum Schluss in $R_{k}$ stehen soll (es seien $i, j, k$ paarweise verschieden). Dies leistet das folgende Programm mit dem Hilfsregister $R_{ℓ}$ .

Leere $R_{k}$
Übertrage den Inhalt von $R_{i}$ nach $R_{ℓ}$ ohne $R_{i}$ zu leeren
$C (j, 7)$
Addiere den Inhalt von $R_{ℓ}$ zu $R_{k}$ hinzu
$j -$
Gehe zu $2$
Halte an

Die Korrektheit dieses Programms beruht auf $r \cdot s = (r - 1) s + s$ ; für das Produkt $r s$ muss man $r$ -mal $s$ mit sich selbst addieren.