Sicher, das dies den Automaten darstellen soll ?
Dann stimmt aber etwas mit der Defintion der Sprache nicht.
Also ich hätten den Automaten ja so beschrieben
A := (Z, S, s0, d, F)
Z := {0, 1}
S := {A, B, C, D, E, F, G}
s0 := A
F := {F}
d ergibt sich aus der graphischen Darstellung...