Hallo,
Die Schalttabelle bezieht sich auf den endlichen Automaten, der direkt über der Tabelle gezeichnet ist.
E ist die Eingabe (also das was auf den Pfeilen steht).
$f_1$ steht für die erste Zahl im Indize von s, $f_2$ steht für die zweite Zahl im Indize von s.
Bedeutet, wenn wir beispielsweise $f_1$ =1 und $f_2$=0 haben sind wir im endlichen Automaten bei s$(_10)$. Wie du sehen kannst kommst du egal ob du E=1 oder E=0 hast auf den selben zustand nämlich $s_10$,
also mit $f_1$=1 und $f_2$=0.
Ich hoffe ich konnte dir so etwas weiterhelfen ;)
Viele Grüße,
Marc (Tutor)