Deterministic Finite Automaton and NonDeterministic Finite Automaton