Zu 3. Sei A nicht regulär (irgendeine nicht reguläre Sprache über \(\Sigma\)). Dann ist auch das Komplement A^c nicht regulär (denn wäre es regulär, wäre auch A^c^c=A regulär, Widerspruch). Mit B=A^c ist die Vereinigung von A und B aber \(\Sigma^*\), was regulär ist.
Kurz: Die Vereinigung von nicht regulären Sprachen kann regulär sein.
Zu 2. Was genau heißt hier "A entscheidbar"? Es sind doch nur Eigenschaften entscheidbar.
Lehrer/Professor, Punkte: 35.43K