PDA

View Full Version : [FRAGE] - Abstrake Syntax


extasic
19-10-2008, 18:05
Hi, ich bin verzweifelt, weil ich mit dieser Aufgabe einfach nicht weiterkomme, vielleicht könnt ihr mir ja helfen:

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