In a deterministic finite-state automaton (DFA), each move has only one choice for the next state of the device, given the current state and the next input. After processing the entire input string, if you end up in a final state (sometimes called an accept state), then the input string is in the language accepted by the finite-state automaton.