a b * s0 (s0; a; R) (s1; b; R) (s4; *; L) s1 (s2; b; L) (s1; b; R) (s4; *; L) s2 (s3; a; R) (s2; b; L) (s3; *; R) s3 (s0; a; R) s4 (s4; a; L) (s4; b; L) (se; *; R) se
(se = Endzustand)
Würde diese Variante dann stimmen?
Ich habe es nicht so gründlich durchgesehen wie wir das bei der Klausurkorrektur machen würden (das ist mir zu zeitaufwendig), aber ich denke, so sollte es funktionieren.
Gruß,
Tobias (Tutor)