[informatik-bonn] [Fwd: Blatt 3]
- From: Lutz Oberst <oberst@xxxxxxxxxxx>
- To: markusdunkel@xxxxxxxxxx
- Date: Tue, 13 May 2003 13:29:53 +0200
Ho,
> Jedenfalls hätte ich da noch 'ne Frage zu Aufgabe 4 a): Ich verstehe nicht
> wirklich, wie man das in einer Prozedur überprüfen kann, wenn die "Menge
> aller Zeichenketten über einem gegebenem Alphabet \sigma" unendlich ist (ist
> sie doch immer, oder?)...
Kurz DEA -> DEA_min = \alpha
{\Signma} -> DEA -> DEA_min = \beta
DEA_min eindeutig
Wenn \alpha = \beta
=> alle Wörter werden aktzeptiert
> Und zu welcher Menge soll in b) die von einem DEA akzeptierte Menge
> komplementär sein? Sowas, wie: A\L(M), wobei A die Menge aller Strings über
> \sigma und L(M) die von DEA akzeptierte Menge ???
Test auf x \notin L
=> (x\Sigma^*) \notin L
=> Komplement unendlich
alle Wörter werden aktzeptiert <=> L endlich <=> L = \emptyset
> Danke schonmal.
> Markus
Hoffentlich nicht zu spät,
Lutz
--
signature intentionally left blank
Other related posts:
