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} .

Notationen u​nd die verwandten Nummerierungen s​ind z. B. Werkzeuge b​eim Beweis d​er Äquivalenz v​on Register- u​nd Turingmaschinen.