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

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Entwerfen Sie eine kontextfreie Grammatik für 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 2 Beiträge
ed209

Wuerde es helfen die Bedingung

Zitat:

L = { w element { a, b, c }* : w = a^ib^jc^k ; i >= 1, j >= 1, k = i + j + 2 }


so umzuschreiben, so dass die Gleichungen und Ungleichungen wegfallen?
motte90 Entwerfen Sie eine kontextfreie Grammatik für L

Servus

L = { w element { a, b, c }* : w = a^ib^jc^k ; i >= 1, j >= 1, k = i + j + 2 }

Meine Frage ist nun wie kann ich zwingend zu einem a ein c am Ende des Wortes generieren? Dazwischen ist ja noch ein B und mein Lösungsansatz hilft mir da nicht wirklich weiter.

Lösungsansatz:

G = <V, {a, b, c}, P, S>
P = { S -> ABcc
A -> aAc | ac, // wie kann ich hier das c an das Ende ran hängen?
B -> bBc | bc
}

Freundliche Grüße

motte90