Registermaschine/Programm/Arithmetische Repräsentierung/Fakt

Es sei $P$ ein Registerprogramm mit den Programmzeilen $B_{1}, \dots, B_{h}$ und $m$ Registern mit den zugehörigen arithmetischen Ausdrücken $A_{1}, \dots, A_{h}$ in den freien Variablen $z, r_{1}, \dots, r_{m}, z^{'}, r'_{1}, \dots, r'_{m}$ . Es sei $A_{P} = A_{1} \land \dots \land A_{h} \land A_{h + 1}$ .

Dann ist $A_{P}$ eine arithmetische Repräsentierung der Programmabbildung $φ_{P}$ .