Ein vollständiger Lernpfad von mathematischer Notation über Automaten und formale Sprachen bis Berechenbarkeit und NP-Vollständigkeit. Jede Lektion erklärt zuerst die Idee in einfachen Worten, danach die formale Definition, ein geführtes Beispiel, typische Fehler und eine prüfungsnahe Anwendung.