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!!