„Da rekursive Funktionen mit natürlichen Zahlen rechnen, müssen wir Programm und Konfiguration einer Turing-Maschine ''gödelisieren'', sie also in natürliche Zahlen umsetzen, auf denen eine simulierende μ-rekursive Funktion dann rechnet.“<ref>{{Literatur | Autor=Katrin Erk, Lutz Priese | Titel=Theoretische Informatik | TitelErg=Eine umfassende Einführung | Verlag=Springer | Jahr=2013 | Seiten=274| Online=Zitiert nach {{GBS|RWweBgAAQBAJ|PA274|Hervorhebung=gödelisieren}}}}.</ref>
Wörter einer formalen Sprache auf Nummern (''insbesondere:'' natürliche Zahlen) injektiv abbilden