Moderator
Registriert seit: 19 Jahre
Beiträge: 165
Ja, das ist an dieser Stelle etwas unglücklich.
Der Pfeil von s01 auf s00 hat die Beschriftung ~a+~b/1
Die andere Pfeilspitze in der Nähe gehört zum Pfeil, der den Startzustand markiert. Nach unseren Konventionen hat dieser keine Beschriftung.