Notation (Berechenbarkeitstheorie)
Zur Navigation springen
Zur Suche springen
Eine Notation einer Menge , im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion .
Notationen und die verwandten Nummerierungen sind z. B. Werkzeuge beim Beweis der Äquivalenz von Register- und Turingmaschinen.