---

Geschrieben von sanv am 02.11.2008 um 11:56:

  Frage zu "complement"

Hallo,

ich habe eine Frage zur "complement" operation.

Wenn ich folgende Sprache habe:

L = { w | w contains at least two b's and at most one a }

und ich sollte einen DFA fuer das complement entwerfen.

at least b's: |b| >= 2 und at most one a: |a| =< 1

ist das complement dazu:

|b| < 2 bzw. |a| > 1????

und statt einer intersection wird man eine union haben zwischen den 2 "mini-DFAs"?

danke im voraus.

---

Geschrieben von kiste am 02.11.2008 um 14:31:

 

Ja, du hast die Bedingung mit und verknüpft. Also:

Dann ist nach der De'Morganschen Regel: