DFA
NFA