Hallo,
ich würde mal intuitiv meinen, dass das zweite Argument dem Anfangszustand des Automaten entspricht.
\( L(A, z) \) ist dann die Sprache, die durch den Automaten impliziert wird, wenn \( z \) als Anfangszustand gewählt wird.
Z.B. wäre \( L(A, z_6) = \emptyset \).
Es wäre \( L(A, z_5) \) die Sprache, die nur Wörter bestehend aus \( 0 \)en und das leere Wort enthält.
Es wäre z.B. auch \( L(A, z_4) = L(A, z_5) \) gleich der Menge aller Wörter, die aus beliebig vielen oder gar keinen \( 1 \)en gefolgt von mindestens einer \( 0 \) und keiner einzigen weiteren \( 1 \) bestehen.
Es ist, wie du siehst, übrigens auch \( L(A, z_1) = L(A, z_2) \).
Viele Grüße
Mister
