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ößte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Es schließt 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.
In dem Buch werden, wie mit dem Titel versprochen, einige Themen aus der theoretischen Informatik gut zusammengefasst. An einigen stellen fallen die Erklärungen jedoch sehr knapp aus, sodass man nicht drum herum kommt beim Lesen noch andere Ressourcen mit einzubeziehen. Insgesamt ist das Buch ein guter Überblick über das Themenfeld, lässt jedoch als Lernmittel zu wünschen übrig. Trotzdem würde ich dieses Buch jedem frischen Interessenten der theoretischen Informatik empfehlen um von den Inhalten mal "gehört" zu haben und zu erfahren was einen in der theoretischen Informatik so erwartet.