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, fuhrt den intelligenten Laien zum Verstandnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller wunschenswerten Stringenz stutzt sich die Darlegung auf Anschaulichkeit und Konstruktivitat. Mitgelieferte PC-Software fordert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene...