Das Kefk Network Wiki befindet sich im Testbetrieb.

Notation (Berechenbarkeitstheorie)

Aus Kefk.

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

Für Bedeutungen abseits der theoretischen Informatik siehe den Artikel Notation.

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

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Notation_%28Berechenbarkeitstheorie%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://www.kefk.org/wiki/Notation_%28Berechenbarkeitstheorie%29“

Kategorien: Berechenbarkeitstheorie | Theoretische Informatik | Wikipedia