Eine elementare Einführung in die Theorie der Turing-Maschinen

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.