Folien

2.33 Beweis (2)
◮ Durchschnitt:
◮ Konstruiere M = (Z, z0, A, f , F ) mit L(M) = L1 ∩ L2.
◮ Idee: beide Akzeptoren M1 und M2 „parallel“ laufen lassen.
◮ M „merkt sich“ immer sowohl den Zustand, in dem M1 nach
einer Eingabe wäre, als auch den, in dem M2 danach wäre:
◮ Z = Z1 × Z2 = {(z1, z2) | z1 ∈ Z1 ∧ z2 ∈ Z2};
◮ z0 = (z01, z02).
◮ für alle (z1, z2) ∈ Z und alle a ∈ A:
f ((z1, z2), a) = (f1(z1, a), f2(z2, a)),
denn M soll die Arbeit beider Akzeptoren Mi nachvollziehen;
◮ F = F1 × F2, denn M soll genau dann akzeptieren, wenn ein
Eingabewort in L1 ∩ L2 liegt, also wenn beide Akzeptoren Mi
es akzeptieren.
Reguläre Ausdrücke 51/124