Notation (Berechenbarkeitstheorie)

Eine Notation einer Menge $M$, im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion $\nu :\subseteq {\mathrm{\Sigma }}^{*}\to M$.

Notationen und die verwandten Nummerierungen sind z. B. Werkzeuge beim Beweis der Äquivalenz von Register- und Turingmaschinen.