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

Informatiker Board » Themengebiete » Theoretische Informatik » Typ 1 Grammatik angeben » 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
Pampelmuse

Passt alles ganz gut.
Das ist der Hammer wäre überhaupt nicht darauf gekommen , nicht schlecht danke für den Beitrag.
qwertz

Bei solchen Sprachen empfiehlt sich immer die Verwendung von Läufervariablen (hier: Y,Z).

Folgende Grammatik müsste funktionieren:

S -> abbcccc | aXbbcccc

Xb -> bY

Yb -> bY

Yc -> Zbbccccc

bZ -> Zb

aZ -> aa | aaX

Ich hatte keine Zeit das ausführlich zu testen, aber bis i=3 funktioniert sie, also gehe ich mal davon aus, dass sie auch für i>3 geht.
Pampelmuse

S-> aSbbC |abbcccc
so läßt sich doch
aabbccccbbC erstellen dies ist aber nicht in der Sprache.
Werde die Lösung der Übungsgruppe demnächst hier präsentieren.
kiste

Mhh wie wärs mit

S-> aSbbC |abbcccc
Cb -> bC
Cc -> cC
cC -> ccccc
Pampelmuse Typ 1 Grammatik angeben

Hallo,
habe ein Problem ich möchte zu L={a^i b^j c^k | i,j,k >= 1 und (2i=j und 2j=k)}

eine Grammatik vom Typ 1 (kontextsensitiv) angeben, die die Sprache L erzeugt.

Ich versuch dies mit Abbildungen finde aber nix wegen der abhängigkeit von einander.

Also für a^n b^2n

a^n b^2n kriege ich das noch hin durch
S-> aSbb |abb

Aber mir fällt nix für
a^n b^2n c^4n ein .