Ein Leitfaden für fortgeschrittene Mathematiker, der die algebraischen Eigenschaften von Wortfolgen untersucht, Morphismen, endliche Automaten und Gruppentheorie verknüpft und neue algorithmische Einsichten liefert.