• F ⊆ Q is the set of accept or final states. The behavior of a DFA M on an input string x ∈ Σ∗ is as follows. It reads the symbols in x one at a time, from left to right. At each point in time, the automaton has a current state. Initially, the automaton is in state s. If the current state of the automaton is q, and the next symbol in x to be read is a, then the automaton on reading a transitio...