Das Kefk Network Wiki befindet sich im Testbetrieb.

Nummerierung (Informatik)

Aus Kefk.

Wechseln zu: Navigation, Suche

Eine Nummerierung einer Menge M, im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion \nu :\subseteq \mathbb{N} \to M.

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

Bemerkungen

  • Man vergibt für alle m \in M eine Nummer n \in \mathbb{N} mit ν(n) = m.
  • Es müssen nicht alle Nummern vergeben sein, z. B. ν(3) = div. Das bedeutet: der Wert an der Stelle 3 ist undefiniert bzw. eine Registermaschine, deren Maschinenfunktion ν ist, würde bei der Eingabe 3 in eine Endlosschleife geraten.
  • Ein m \in M darf auch mehrere Nummern haben.
Wikipedia
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Nummerierung_%28Informatik%29, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Von „http://kefk.org/wiki/Nummerierung_%28Informatik%29“
Persönliche Werkzeuge