Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundzügen der theoretischen Informatik vertraut. Der erste und grösste Teil behandelt formale Sprachen, Grammatiken und Automaten. Es schliesst sich die Behandlung der Berechenbarkeitstheorie und der Komplexitätstheorie an. Dem Autor gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nachvollziehbare Darstellung der theoretischen Informatik.