Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Wortmenge L » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 4 Beiträge
Karlito

Hallo Lisa,

ich dachte du hättest die Sprache anhand deiner anderen Frage bereits erkannt.

Es kann natürlich sein, dass ihr Kellerautomaten noch nicht hattet. Dann vergiss einfach was ich darüber geschrieben habe. Was den Nachweis der Nichterkennbarkeit angeht, kenne ich keine andere Methode.

Ich denke jetzt sollte es klarer sein, oder?

VG,

Karlito
Lisa23

wieso kenne ich bereit eine sprache für a^n*b^n
ich weiss gar nicht was damit gemeint ist kannst du mir das bisschen näher erklären.
Karlito

Hallo,

das beste ist meist, wenn man Dinge, die man schon kennt wiederverwendet smile

Du kennst ja bereits eine Grammatik für die Sprache [latex]a^nb^n[/latex]

Noch ein kleiner Tipp:

[latex] a^nb^{n+m}a^m = (a^nb^n)(b^ma^m)[/latex]

Und nun nur noch ein wenig Lego smile (Hab auch 15-30 min gebraucht)

Zum Nachweis:
für Kontextfreie Sprachen gilt, dass ein Kellerautomat angebbar sein muss. Hier kann einer angegeben werden der folgendermaßen funktioniert:
- Lege Elemente auf den Keller solange a gelesen werden.
- Entferne Elemente vom Keller solage b gelesen werden und Kellerstartsymbol nicht erreicht ist
- Bei erreichen des Kellerstartsymbols, lege neue Kellersymbole auf den Keller, solange b gelesen wird
- Lösche Kellersymbole, solange a gelesen wird.
- Akzeptiere wenn eingabe = epsilon und Kellerstartsymbol auf dem Keller...

Wobei es schwierig sein kann, einen solchen Automaten anzugeben. Der Nachweis, dass eine Sprache definitiv nicht Kontextfrei ist, lässt sich über das Pumping-Lemma für Kontextfreie Sprachen führen.

VG,

Karlito
Lisa23 Wortmenge L

Kann mir bitte jemand sagen wie ich so eine Aufgabe angehen muss wie man diese Wortmenge lesen würde.
Ich hab bei wikipedia gelesen das Kontextfreie Grammatiken als Regel immer
A--->a
B--->aAa
D--->z

haben also das links immer ein Nichtterminierendes Symbol alleine steht.
und das das bei Kontextsensitiven Grammatiken es auch immer ein Nichtterminierendes Symbol links vom Pfeil sein muss aber das da auch 2 stehen dürfen oder eines.


Mfg
Lisa

Lisa23 hat dieses Bild (verkleinerte Version) angehängt:
grammatiken.jpg