regular_expr -> nfa -> dfa -> min dfa