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

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Kontextfreie Grammtiken entwerfen » 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 3 Beiträge
Jannik Hol

Jo stimmt bin nach 2 Stunden auch mal drauf gekommen... Manchmal bin ich aber auch ein Holzkopf großes Grinsen Trotzdem danke
eulerscheZahl

ALso, wir reden von [latex]a^nb^2c^{n+2}d^2[/latex], oder?

V -> aVc | bb sollte passen: für jedes a wird auch genau 1 c hinzugefügt.
V kann auch sofort zu bb werden, was n=1 entspricht (du hast n=2).
Jannik Kontextfreie Grammtiken entwerfen

Meine Frage:
Hallo Leute,
ich habe morgen eine Klausur zur theoretischen Informatik und habe folgendes logisches Problem bei einer kontextfreien Grammatik:
a^n b^2 c^n+2 d^2 n>=1
mein Problem ist das wir das bis jetzt immer nur so behandelt haben, dass z.B. b und c vetauscht liegen. Sprich das 2 terminalsysmbole mit gleichem exponenten immer nebeneinander stehen.

Meine Ideen:
Mein Löungsansatz:
S -> Tdd
T -> aVccc
V -> aWc
W -> bb

Das Problem ist das W ja jedes mal wo ich noch a und c hinzufüge auch um 2 b erweitert wird... Benötige mal ganz drigend Hilfe großes Grinsen