Dieses Arbeitsbuch stellt eine Unterrichtsreihe zu formalen Sprachen und endlichen Automaten dar. Für den Einsatz dieses Buches sind keinerlei Vorkenntnisse aus diesem Bereich notwendig. Es wurde viel Wert darauf gelegt, anhand zahlreicher Aufgaben und Übungen, den Schülerinnen und Schülern die Möglichkeit zu bieten, wesentliche Aspekte selbst zu erarbeiten.

Außerdem wird immer wieder Bezug zu Alltagssituationen hergestellt, um diese Themen der theoretischen Informatik greifbar zu machen.

Alle Materialien wurden bereits im Unterricht eingesetzt und aufgrund praktischer Erfahrungen ergänzt und ausgebessert. Ein Lehrerband mit Kommentaren und Lösungen ist bereits erhältlich.

Bei der Gestaltung wurde sich an den Vorgaben zum Zentralabitur NRW (Bereich III) für einem Grundkurs orientiert.

Allerdings finden sich zusätzlich Vertiefungen zu nichtdeterministischen endlichen Automaten und Kellerautomaten, da die Erfahrung zeigt, dass man diese durchaus in einem Grundkurs behandeln kann.

Alle verwendeten Graphiken wurden selbst und größtenteils mithilfe von JFLAP erstellt. Dies erleichtert es den Schülerinnen und Schülern, die verwendeten Beispiele selbst am Rechner nachzuvollziehen.