 By abuse of notation, let "q"0 and "q" also denote these two vectors.Then, after reading input symbols formula_11 from the input tape, the state of the DFA will be given by formula_12 The state transitions are given by ordinary matrix multiplication (that is, multiply "q"0 by formula_7, "etc.