---

Geschrieben von computerfreak289 am 11.02.2011 um 12:22:

  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