- lexikalische Analyse: reguläre Ausdrücke, endliche Automaten
- syntaktische Analyse: kontextfreie Grammatiken, Kellerautomaten
- semantische Analyse: Attributgrammatiken
- Code-Erzeugung: bei Registerzuordnung: Graphenfärbung
- Semantik-Definition: Inferenz-Systeme,
- semantische Bereiche als
Monaden (Fkt. höherer Ordnung)
Johannes Waldmann
2014-03-31