gut, Danke!

Hi, ich war nicht wirklich sicher, wo (und ob) ich diese Frage hier stellen kann, aber ich bin verzweifelt, weil ich mit dieser Aufgabe einfach nicht weiterkomme:

Gegeben sei die folgende kontextfreie Grammatik zur Definition der konreten Syntax von arithmetischen Ausdrücken über Binärzahlen:
G = ({E,N},{0,1,+,*},E,P)
mit der Regelmenge
P : E -> N | E + E | E * E
N -> 0 | 1 |0N |1N

Nun die Aufgabe: Definieren Sie zu G eine abstrakte Syntax.

Soweit bin ich gekommen:

plus : E X E -> E
mult : E x E -> E

aber wie definiere ich das E -> N, und wie definiere ich überhaupt abstrakt die "N" regeln?

Vielen, vielen Dank im Voraus für eure Hilfe!!