Using the following formal description to draw a state diagram. (Show your work.) (20 points) A finite automaton A1={Q,,,q0,F} where Q={q0,q1,q2,q3,q4},={a,b,c}, is described as q0 is the start state, and F={q2,q3}