Notation (Berechenbarkeitstheorie)

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

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