title: about states of finite state machine
body: <p>the question is let sigma =(1,2,3,$). I need to draw its  diagram which outputs 1 when sum is >_5. if it is over 5, the amount will be carried over.</p>
  
  <p>Im wondering what would be the state in this case. Can I let A = ive seen 1 B=ive seen 2, C=ive see 3 and D = accepted state?</p>