Ein kompakt strukturiertes Lehrbuch, das die Theorie der formalen Sprachen, den Aufbau von Compilern und die Grenzen der Berechenbarkeit in klaren Kapiteln verbindet und damit ein tiefes Verständnis algorithmischer Prinzipien fördert.