(ist zwar ein klassisches Gebiet: kontextfreie Grammatiken, Kellerautomaten, LL/LR-Parser usw., aber leider haben wir keine Zeit--und mit Parsec kommt man schon sehr sehr weit)
dazu muß nur die abstrakte Syntax möglichst einfach und systematisch repräsentiert werden.