Automatische Erstellung von Illustrationen für endliche Automaten mit Grail+ und TikZ

Das Grail+ Visualizer-Tool wandelt die textuelle Darstellung endlicher Automaten aus Grail+ in TikZ-Code um, um eine automatisch generierte Illustration des Automaten zu erstellen.