Dieses Kochrezept beschreibt das Vorgehen um die Schnittmenge von 2 DEAs zu erstellen.
Die beiden DEAs sehen wie folgt aus:
Links könnte man das kartesische Produkt der beiden Mengen bilden (dann müsste man im Nachhinein wieder kürzen) - ich habe mich entschieden Schritt für Schritt vorzugehen.
Unser erster Zustand ist das Produkt der beiden Startzustände: Also Z0, S0.
Mit Eingabe 0 geht es aus beiden Zuständen nicht weiter. Mit Eingabe 1 geht es von S0 in S1 und von Z0 in Z1.
| δ | 0 | 1 |
| Z0, S0 | - | Z1, S1 |
| Z1, S1 | - | |
Nach dem selben Verfahren erschließen sich uns auch die anderen Zustände.
| δ | 0 | 1 |
| Z0, S0 | - | Z1, S1 |
| Z1, S1 | - | Z2, S1 |
| Z2, S1 | Z2, S0 | Z2, S1 |
| Z2, S0 | Z2, S0 | Z2, S1 |
Die Schnittmenge der beiden Automaten sieht dann fertig so aus: