Speicherüberführungsfunktion

Sei $P$ ein LOOP-Programm mit den Variablen $x_0,\dots ,x_k$. Die i-te Speicherüberführungsfunktion $F_P^i:{\mathbb{N}}^{k+1}\to \mathbb{N}$ gibt den Wert der Variable $x_i$ am Ende der Ausführung von $P$ zurück, wenn das Programm mit den Startwerten $(n_0,\dots ,n_k)$ für $(x_0,\dots ,x_k)$ gestartet wurde.