Man entwerfe ein Computer-Programm (Pseudocode), das zu zwei einziffrigen natürlichen Zahl

${\displaystyle {}0\leq a,b\leq 9\,}$

das Produkt ${\displaystyle {}ab}$ berechnet, und zwar die Zehneranzahl und die Eineranzahl ausgibt.

• Der Computer besitzt beliebig viele Speicher, die einstellige Zahlen

(also zwischen ${\displaystyle {}0}$ und ${\displaystyle {}9}$) enthalten können.

• Er kann einen Speicher leeren.
• Er kann einen Speicherinhalt um ${\displaystyle {}1}$ erhöhen.
• Er kann zu einem bestimmten Befehl springen.
• Er kann Speicherinhalte miteinander vergleichen und abhängig davon zu einem bestimmten Befehl springen.
• Er kann Speicherinhalte ausdrucken und vorgegebene Texte ausdrucken.
• Es gibt einen Haltebefehl.

Die Anfangskonfiguration sei

${\displaystyle (a,b,9,0,0,0,0,\ldots ).}$

Das Programm soll „Das Produkt von“ a „und“ ${\displaystyle {}b}$ „ist“ c d ausdrucken, wobei ${\displaystyle {}ab=10c+d}$