Describir: Generovanie kompilátorov na princípoch denotačnej sémantiky :