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.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 Simulator f?r Turing-Maschinen. ... Es handelt sich um den gegl?ckten Versuch, auch Laien die Kenntnis der Automatentheorie und ihre Anwendungen in Logik und Computerwissenschaft n?her zu bringen ... (Computerworld) ...Wieners Einf?hrung bem?ht sich mit Erfolg, das Interesse an der Theorie als Vergn?gen an konkreten Operationen wachzurufen ... (die tageszeitung) ... Das Buch stellt durch den konsequenten, vermeintlichen Umweg ?ber die formale Logik eine Verbindung her zum Denken und zu Einsichten an sich, und letztlich auch zu den Konzepten von Kreativit?t und Entwurfsarbeit ... (form)Dieses Buch ist der erste l#V