TODO zu Automatenreduzierung hinzugefügt
Verteilung der Diagramm-Knoten zur besseren Lesbarkeit verbessert.
BDD Diagramme korrigiert.