Eine elementare Einführung in die Theorie der Turing-Maschinen
Mit Diskette
Wiener, Oswald/Bonik, Manuel/Hödicke, Robert
€49.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Autorenportrait
InhaltsangabeMaschinen.- Turing-Maschinen.- Form und Sinn.- Akzeptieren und Generieren: Triviale Maschinen: Moduln.- Darstellungen natürlicher Zahlen.- Binärzahlen und binäre Zeichenketten.- Zeichenketten verschieben, kopieren und markieren.- Zeichenketten suchen.- Zwei Zeichen genügen.- Zwei Zustände genügen.- Algorithmus und Berechenbarkeit: Die Church-Turing-These.- Universelle Turing-Maschinen.- Menge, Cartesisches Produkt, Funktion, Relation.- Das Halteproblem.- Einige Erscheinungsformen des Halteproblems.- Aufzählen und Abzählen.- Rekursive Mengen, rekursiv aufzählbare und rekursiv nicht aufzählbare Mengen.- Auf dem Weg zu Gödels 'Unvollständigkeitssatz'.- Lösungen zu den Aufgaben.- Ein Simulator für Turing-Maschinen.
Weitere Details
Erschienen: 08.05.1998
Umfang: ix, 289 S., 2 s/w Illustr., 289 S. 2 Abb. Mit Disk
Sprache: Deutsch
Einband: KT
Format: 1.5 x 24.2 x 17 cm
ISBN/EAN: 9783211827697
Umbreit-Nr.: 640381
