🚀 go-pugleaf

Ich hoffe mindestens eine von Euch w�rde mir helfen!!

Ich habe ein Aufgabenblatt zu erledigen aus dem Gebiet "Theoretische
Informatik "genauer gesagt "Automatentherie und formale Sprachen"

Es  geht fast um Schein..

Und es geht um diese  Frage...


Geben Sie eine Grammatik von maximal m�glichen Typ f�r die Sprache

L = {a^n b^m a^m-n | n, m sind von Nat�rliche Zahlen (also inkl, 0),
m>=n}
an


Ich bin nicht sicher ob's richtig ist.Immerhin bis jetzt habe ich kein
Wort gefunden ddas von dieser Grammatik nicht akzeptiert wurde..

Erstens habe ich mit pumping lemma f�r regul�re grammatiken und
kontextfreie
grammatiken bewiesen dass
die weder  regul�r noch kontextfrei ist..

Sonst muss ja Kontextsensitiv sein..

Also meine Grammatik ist ...



G= ({S, A, B, C, D, E, F}, {a, b},S, P)

P:

S ->ab
S -aEb
S ->ba
S ->bDa
S ->F
S ->aAba
A ->aAb
Ab ->bB
Bb ->bB
Ba ->bCa
Ba ->ba
C ->bCa
C ->ba
D ->bDa
D ->ba
E ->aEb
E ->ab
F ->leeres Wort


Das w�re nett wenn jamand sich m�he macht und mit verschieden W�rter
ausprobiert.

Danke im Voraus

AUTOMATA