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

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » kotextsensitive Grammatik für a^2^n » 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 5 Beiträge
flamigo

Alles klar, danke.
eulerscheZahl

Ja, meine Grammatik ist falsch.
Aa -> Ca | AAa - so sollte es passen.

Aber deine Ansätzen sehen auch gut aus, habe es eben durchgespielt.
flamigo

Danke für die Hilfe. Allerdings ist irgendwo ein Fehler.
S => AaB => CB => B => epsilon
oder
S => AaB => AAB => AA
mehr ist nicht möglich. Oder übersehe ich was?

Folgendes müsste aber stimmen:

S -> AB | a,
A -> CA | a,
Ca -> aaC,
CB -> BB, zwei B, damit es kontextsensitiv ist
B -> epsilon

zweiter Aufgabenteil war irgendeine Grammatik mit nur 4 Regeln zu finden.
S -> ASB | a,
Aa -> aaA,
AB -> epsilon

Richtig?
eulerscheZahl

S -> a | AaB
Aa -> C | AA
Ca -> aaC
CB -> B
B -> epsilon

Die Erklärung lasse ich bewusst weg - du musst ja auch noch was tun Augenzwinkern
flamigo kotextsensitive Grammatik für a^2^n

Meine Frage:
Hallo zusammen,

kann mir jemand bei der folgenden Aufgabe weiterhelfen:

Geben Sie eine kontextsensitive Grammatik an, die die Sprache L = {a^2^n | n >= 0} erzeugt.

Meine Ideen:
Die erzeugten Wörter sind a, aa, aaaa = a^4 , a^8 usw.
Grammatik G = ({a}, N, S, P).
P = { S -> A | aa | a,
A -> ....