Hallo,
"Vllt stehe ich auch auf dem Schlau, aber laut dieser Definition heißt es doch gerade dass eine Sprache vom Typ 1 ist, wenn man eine Typ 1 Grammatik angeben kann, die diese Sprache erzeugt."
Das ist korrekt ja.
Sprachen und Grammatiken sind nicht das gleiche und haben auch nicht die gleichen Eigenschaften. Eine Eigenschaft wie "keine verkürzenden Produktionen erlaubt" wirst du bei sämtlichen Sprachen vergebens suchen.
Vielmehr kann man als Eigenschaft von Sprachen beispielsweise angeben, dass die von G erzeugte Sprache L(G) genau aus den Satzformen besteht, die in beliebig vielen Schritten aus S (Startsymbol der Grammatik G) abgeleitet werden können und nur aus Terminalzeichen bestehen.
Ich hoffe ich konnte dir vom Schlauch runter helfen.
LG Tutor