Registermaschine/Programmbeispiele/Arithmetische Repräsentierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

sind.