決定性有限_automaton_(DFA)