Moin,
der Pfeil der von s01 auf s00 zeigt, hat der eine Beschriftung? Gehört das ~a+~b/1 zu dem?

Grüße
Florin

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.