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.