\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
 
\Diagram 
   ( 0,S,0,0 
   & 1,A,60,60 
   & 2,B,60,-60 
   & 3,C,120,0 
   )( 
     4,\null,0,-60 
   )( 
     0,1,a,a 
   & 0,2,b,b 
   & 2,3,a,a 
   & 1,3,b, 
   & 0,4,b, 
   & 2,1,b, 
   ) 
\EndDraw