Compilation Methods SS 2009 - Slide 224b
Objectives:
Most important DFA lattices
In the lecture:
- The Examples are explained.
- A new lattice can be constructed by elementwise composition of simpler lattices; e.g. a bit-vector lattice is an n-fold composition of the lattice Bool.
- A new lattice may be constructed for a particular DFA problem.
©2009 Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 30.03.2009