Automata, Formal Languages and Complexity
Minimization of Deterministic Finite Automata (DFAs)

Jörg Endrullis
Vrije Universiteit Amsterdam