Make NFA and DFA have 'start' field (close GH-1)
DFA inversion and minimization