FSM(0,AcceptingStates(2),Transitions(t(0,A(),1), t(1,B(2),2), 
                                      t(0,C(),0), t(1,C(),1), t(2,C(),2)))
