Q=\{q_0,q_1,q_2,q_3\}