Registermaschine/Programmbeispiele/Arithmetische Repräsentierung/Aufgabe

Zeige explizit, dass die in Vorlesung 18 besprochenen Registerprogramme (also ihre zugehörigen Programmabbildungen) arithmetisch repräsentierbar sind.

Eine Lösung erstellen