Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- formale Sprachen (http://www.informatikerboard.de/board/board.php?boardid=12)
----- abschlusseigenschaften der reg. und kontextfreien Sprachen (http://www.informatikerboard.de/board/thread.php?threadid=963)


Geschrieben von Angelhope am 03.06.2011 um 20:09:

  abschlusseigenschaften der reg. und kontextfreien Sprachen

Hallo,

ich habe ja eine Multiple Choice Aufgabe:

1. A = {a,b} vereinigt {a^nb^n|n elem von N}
Welche der folg. Sprachen sind regulär?

a) A komplement, also nicht A
b) A
c) A*
d)keine der oben genannten

hier weiss ich nicht genau ob A regulär ist...der zweite Teil ist bestimmt nicht reg. aber {a, b} ist doch regulär(da endlich), aber die Vereinigung weiss ich nicht...

2. Die sprache A komplement vereinigt mit B* ist regulär wenn:

a) A* und B* reg sind
b)A kompl schnitt mit B* regulär
c) A und B reg
d) A kompl und B kompl reg sind

hier bin ich nur bei c) sicher...oder ?

3. Eine beliebige Sprache A ist regulär, wenn

a) eine reguläre Sprache B existiert, sodass A schnitt B reg ist
b) für jede reguläre Sprache B gilt, dass A schnitt B reg ist
c) A* reg ist
d) A kompl reg ist

Ich frage mich hier: Ich weiss dass wenn A reg ist, dann A*, A kompl reg sind, aber geht es auch in die andere Richtung, also wenn A* reg, ist dann A auch reg?

bitte um irgendwelche Hilfe



Geschrieben von ed209 am 11.06.2011 um 14:54:

 

Wie habt Ihr denn regulär definiert?



Geschrieben von Karlito am 11.06.2011 um 15:25:

 

Ist regulär nicht immer Typ3?

VG,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH