A DFA accepts a string if there is a sequence of states in Q such that
is the start state.
for all .