Frage zu "complement"

02.11.2008, 11:56	Auf diesen Beitrag antworten »
sanv	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.


02.11.2008, 14:31	Auf diesen Beitrag antworten »
kiste	Ja, du hast die Bedingung mit und verknüpft. Also: $[latex] \|w\|_b \geq 2 \land \|w\|_a \leq 1[/latex]$ Dann ist nach der De'Morganschen Regel: $[latex]\lnot ( \|w\|_b \geq 2 \land \|w\|_a \leq 1) \equiv \|w\|_b < 2 \lor \|w\|_a > 1[/latex]$

Verwandte Themen