---

Geschrieben von motte90 am 04.09.2018 um 14:58:

  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

---

Geschrieben von ed209 am 06.09.2018 um 15:49:

 

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?