Ein praxisorientiertes Lehrbuch, das die Grundlagen der theoretischen Informatik – von endlichen Automaten über formale Sprachen bis zur Komplexitätstheorie – mit anschaulichen Beispielen aus realen Anwendungen verbindet und Studierenden aller Fachrichtungen hilft, abstrakte Konzepte greifbar zu machen.