Eine elementare Einfhrung in die Theorie der Turing-Maschinen [Mixed media product]

KLAPPENTEXT:Alan Turings automatentheoretische ?berlegungen spielen eine ma?gebliche Rolle, wenn es gilt, die M?glichkeiten und Grenzen von Computern und Menschen zu untersuchen. Dieses Buch vermittelt eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) jenen Lesern, die den Umgang mit Formalismen nicht gewohnt sind. Bei Wahrung aller w?nschenswerten Stringenz bleibt die Darlegung anschaulich und konstruktiv. Die mitgelieferte PC-Software f?rdert den konkreten Umgang mit Automaten und erlaubt dem Leser, eigene Maschinen-Entw?rfe zu realisieren. Er erwirbt damit auch die Voraussetzungen f?r jede h?here Programmiersprache.ALTER TEXT:Dieser erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch solchen Lesern zu vermitteln, die den Umfang mit Formalismen scheuen, f?hrt den intelligenten Laien zum Verst?ndnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller w?nschenswerten Stringenz st?tzt sich die Darlegung auf Anschaulichkeit und Konstruktivit?t. Mitgelieferte PC-Software f?rdert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene Maschinen-Entw?rfe zu realisieren.Maschinen.- 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 Simul£N