Registermaschine/Goldbachvermutung/Check/Beispiel

Es sollen die geraden Zahlen ${}\geq 4$ daraufhin überprüft werden, ob sie die Eigenschaft in der Goldbachvermutung erfüllen, also ob sie die Summe von zwei Primzahlen sind. Das Programm soll die Ausgabe ${}0$ machen, falls ein Gegenbeispiel gefunden wurde. Dies leistet das folgende Programm mit den Registern ${}R_{n}$, ${}R_{k}$ und ${}R_{i}$, die alle zu Beginn auf ${}0$ gesetzt seien. Auch das Ausgaberegister ${}R_{1}$ soll zu Beginn leer sein. Wir testen ab ${}6$, um uns auf ungerade Primzahlen als Summanden beschränken zu können.

1. ${}n++++$
2. ${}n++$
3. Leere ${}R_{k}$
4. ${}k+$
5. ${}k++$
6. Wenn ${}r_{k}\geq r_{n}$, so gehe zu 12
7. Wenn ${}r_{k}$ eine Primzahl ist, so gehe zu 9
8. Gehe zu 5
9. Berechne ${}r_{n}-r_{k}$, schreibe das Ergebnis in ${}R_{i}$
10. Wenn ${}r_{i}$ eine Primzahl ist, so gehe zu 2
11. Gehe zu 5
12. Drucke
13. Halte an