Notation (Berechenbarkeitstheorie)

Eine Notation einer Menge <math>M</math>, im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion <math>\nu :\subseteq \Sigma^* \to M</math>.<ref>Klaus Weihrauch: Computable Analysis. 2000, S. 33, doi:10.1007/978-3-642-56999-9. </ref>

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

Einzelnachweise

<references />