Hallo,
meine Frage ist, warum das Zustandspaar (S1,S3) nicht mit X3 markiert wird. Führt dieses Paar nicht auf zwei bereits markierte Paare (S1,S6) und (S1,S2) udn muss dehalb auch markiert werden?
Danke
uxczc
(s1,s3) führt zu (s1,s1) oder (s2,s6), (s2,s6) ist nicht markiert. Also wird auch (s1,s3) nicht markiert.
Viele Grüße,
Sophia (Tutor)