Started on-the-fly DFA algorithm.