Automaten und formale Sprachtheorie: Die Hintergründe von regulären Ausdrücken und der Chomsky-Hierarchie
Lambda-Kalkül und der Ursprung der funktionalen Programmierung: Von Alonzo Churchs Theorie zu Lisp und Haskell
Conways Spiel des Lebens: Ein zellulärer Automat, bei dem aus einfachen Regeln lebensähnliche Komplexität entsteht