Abgesehen davon, dass die Position zur Nutzung von Modellrechnern für den Informatikunterricht unterschiedlich ausfallen mag, ist es nützlich, von einem Automaten prüfen zu lassen, welche Zwischenergebnisse ein Algorithmus liefert. Der Autor hat den in dem Vorschlag benutzten Modellrechner in Python implementiert, so dass die Verfolgung der einzelnen Schritte möglich wird. Zu beziehen ist die Implementierung über: rhinodidactics.de/ddi/quellcode/IF_GK_AUFGABE_3_LSG_Python.tar.gz