Eine Elementare Einf hrung in Die Theorie Der Turing-Maschinen

KLAPPENTEXT: Alan Turings automatentheoretische UEberlegungen spielen eine massgebliche Rolle, wenn es gilt, die Moeglichkeiten 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 wunschenswerten Stringenz bleibt die Darlegung anschaulich und konstruktiv. Die mitgelieferte PC-Software foerdert den konkreten Umgang mit Automaten und erlaubt dem Leser, eigene Maschinen-Entwurfe zu realisieren. Er erwirbt damit auch die Voraussetzungen fur jede hoehere Programmiersprache.