Man entwerfe ein Computer-Programm (Pseudocode), das das arithmetische Mittel aus zwei vorgegebenen nichtnegativen rationalen Zahlen berechnet.

• Der Computer besitzt beliebig viele Speicher, die natürliche Zahlen enthalten können.

• Er kann die Summe von zwei Speicherinhalten ausrechnen und in einen weiteren Speicher schreiben.

• Er kann das Produkt von zwei Speicherinhalten ausrechnen und in einen weiteren Speicher schreiben.

• Er kann Speicherinhalte ausdrucken und vorgegebene Texte ausdrucken.

• Es gibt einen Haltebefehl.

Die Anfangskonfiguration sei

${\displaystyle (a,b,c,d,0,0,0,\ldots )}$

mit ${\displaystyle {}b,d\neq 0}$. Dabei sind ${\displaystyle {}a/b}$ und ${\displaystyle {}c/d}$ die rationalen Zahlen, von denen das arithmetische Mittel berechnet werden soll. Das Ergebnis soll ausgedruckt werden (in der Form Zähler Nenner)