Übergangsrelation des neuen Automaten

Question

Hallo,

folgende Übergangsfunktion steht in der Musterlösung:

δ3((s1,s2),e) = {(δ1(s1,e),s2),(s1,δ2(s2,e))},

Mir ist nicht ganz klar, was das jetzt Aussagt.

Also allgemein gibt mir die Gleichung ja an, wie sich der Automat im Zustand (s1, s2) verhalten soll, wenn das Zeichen e einlegesen wird.

Beudeutet das, dass der Automat ENTWEDER δ1(s1,e) durchführt oder nach s2 geht ODER δ2(s2,e) ausführt oder nach s1 geht?

Danke

Answer 1

Hallo,

du kannst dir vorstellen, dass sich der neue EA gleichzeitig in s1 und s2 der beiden alten EA befindet (s1,s2). Durch Eingabe von e, führt die Zustandsüberführung entweder in einen Zustand, indem nur s1 einen Schritt macht (Wort aus L1), oder s2 einen Schritt weiter geht (Wort aus L2). Jetzt klarer?

Grüße