Ein kompakter Leitfaden, der die Grundlagen von Berechenbarkeit, formalen Sprachen und algorithmischer Komplexität in klaren Beispielen vermittelt und zugleich anspruchsvolle Übungsaufgaben für Studierende bietet.