Sie müssen genau wissen, wie eine Regel bei einer Chomsky-Grammatik aussehen kann (und darf, vor allem auch bezogen auf die verschiedenen Chomsky-Typen).
Was hier mathematisch steht bedeutet ja nichts anderes als dass eine Kette von Terminal und Nonterminalen (die aber nicht nur aus Terminalen besteht) und mindestens ein Zeichen enthält, auf eine beliebig lange Kette von Terminal und Nonterminalen abgebildet wird. Wenn Sie das wissen, dann sollte der mathematische Ausdruck kein Problem mehr sein.
Dies ist auch wichtig zu wissen, damit Sie beispielsweise wissen, dass bei der allgemeinen Grammatik eine Regel wie beispielsweise a -> b nicht erlaubt ist (also Terminal auf Terminal).
Viele Grüße
Friederike Pfeiffer-Bohnen und Lukas König