|
|
| m1, m2 minimale DFAs mit k1 bzw. k2 Zuständen. |
     |
Hallo,
und zwar habe ich folgendes Problem, wobei ich nicht weiterkomme, irgendwie....
Aufgabe:
Zeigen oder widerlegen Sie folgende Behauptung:
Seien M1,M2 minimale DFAs mit k1 bzw. k2 Zuständen. Dann gilt:
L(M1) (Teilmenge/Induktion) L(M2) => k1 <= k2.
Mein Lösungsansatz:
Dadurch das M2 in M1 liegt, kann der Automat M2 keine größeren Zustände haben als M1. Somit könnte man sagen, das k1 >= k2.
Ist meine Antwort so korrekt?
Wenn nicht, könnte jemand mal mir das erklären, die das geht?
MfG Robert
|
|
