Hallo,
L = { a^m b^(m-n) c^n | m,n ∈ N0,m ≥ n}.
ich bin noch auf eine andere Produktionsfunktion gekommen, bin mir aber nicht ganz sicher ob diese stimmt.
S -> aAbC | λ
A -> aAb | λ
bC -> Cc | λ // b wird gelöscht
Meine Idee dahinter war zuerst die x - beliebige Menge an a's hinzuzufügen, in dem gelichen Schritt wird die geliche Anzahl an b`s hinzugefügt. Nachdem alle a´s hnzugefügt wurden werden die benötigten c´s hinzugefügt, dabei wird immer für ein hinzugefügtes c ein b gelöscht. Dies ist auch nur solange möglich bis es keine b`s mehr gibt.
Ist das auch richtig?
Danke im Vorraus
Roman