Avoiding Determinization Orna Kupferman Hebrew University Joint work with Moshe Vardi.
Lexical Analysis Dragon Book: chapter 3. Compiler structure Lexical analyzer Syntax analyzer Semantic analyzer Intermediate code generator Code optimizer.
GHILA CASTELNUOVO TEL AVIV UNIVERSITY Determinization of Büchi Automata.
An Automata-Theoretic Approach to LTL
Constraint Automata