Grammatiken , formale Sprachen

V={S,A}
T={a,b}
P={SS->aa, S->aA, A->b}

erschlagt mich wenn ich falsch liege :D

gast hat recht.

T für Terminale
P für Produktionen
NT oder hier V für (zwischen-) Zustände.

G = (V, T, P, S)
wobei letzteres, S, keine Menge sondern der Startzustand S ist.

Mighty hat etwas mehr Klarheit gebracht als ich eben aber um es mehr 
Verständis in die Sache zu bringen wollte ich noch hinzufügen;

V= Ersetzungen (Variablen) bzw. nicht terminale, ist eine Menge
d.h. ein X aus V muss nach dem Produktionsregeln durch ein y aus T 
ersetz werden.

T= Terminale (Alphabet). das ist die Alphabet der Sprache, ist auch eine 
Menge

P= ist die Menge der Produktionsregeln

S= ist das Startsymbol, d.h. damit fängt alles überhaupt an. 
Eigentlich ist es ein Teilmenge aus V also auch eine Menge (laut 
definition der Menge nach Cantor)

Eine Grammatik ist also eine Obermenge der (Teil)Mengen V,T,P und S

Ich weiß nicht warum ich das alles hier erzähle.Vermutlich weil ich 
selber auch schwierigkeiten damit hatte ;)

danke für eure Antworten.
Also ist

V eindeutig festgelegt?

Was wäre bei V = {SS, S, A} bei der Grammatik von oben?
Wäre das gültig?
Oder enthält die Menge keine "Doppelelemente" wie z.B. SS ?
Weil, Nichtterminale sind es ja ... ?!

> Was wäre bei V = {SS, S, A} bei der Grammatik von oben?

V ist nicht die Menge aller linken Seiten der Produktionsregeln,
sondern die Menge der Nichtterminalsymbole, als V = {S, A}.

> Oder enthält die Menge keine "Doppelelemente" wie z.B. SS ? Weil,
> Nichtterminale sind es ja ... ?!

Nein, das sind keine Symbole, sondern Vekettungen mehrerer Symbole.

alles klar, danke jungs!

?????????????????.....

Ahhjaa...
http://de.wikipedia.org/wiki/Formale_Sprache