Das Lehrbuch führt in verständlicher Sprache in die theoretische
Informatik ein. Es umfasst die Theorie der formalen Sprachen, die
Theorie der Berechenbarkeit und gibt einen Überblick zur
Komplexitätstheorie. Das Buch eignet sich insbesondere für Einsteiger:
Alle Beweise sind im Detail ausgeführt. Für Dozenten ist das Buch
ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle
vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn
Jahre für Studierende der Informatik im Grundstudium.