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