DFA über {0,1}

chris_hs · Anmeldungsdatum: 01.08.2005 Beiträge: 1

Hab ein Problem mit folgender Automatentheorie-Aufgabe.
Hoffe es kann mir einer weiterhelfen.
Es soll ein DFA über {0,1} konstruiert werden der folgende Eigenschaften besitzt:
enhält nicht 101, beginnt nicht mit 01 und endet nicht mit 10.
Ich weiss wie man die einzelnen Automaten durch Pattern Matching hinbekommt, aber wie kann ich die zusammenfügen? Hintereinanderausführung wär nicht sinnvoll, Parallelisierung auch nicht. Ich will auch nicht den DFA für 101 bauen und die andren beiden Bedingungen einbauen. Ein Kreuzproduktautomat müsste wieder minimiert werden. Gibts da nicht ne einfache Möglichkeit wie man die Eigenschaften "beginnt, enhält, endet" miteinander kombinieren kann?

ED209 · Anmeldungsdatum: 30.05.2005 Beiträge: 122

Ich haette das ganze jetzt auch mit einem Kreuzprodukt gemacht.