決定性有限オートマトン(DFA)