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.weiterlesen