\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
\Diagram 
   ( 
     0,$\epsilon$,-30,0 
   )( 
     1,a,120,90 
   & 2,b,60,0 
   & 3,c,120,-90 
   )( 
     0,1,a, 
   & 0,2,b, 
   & 0,3,c, 
   & 1,2,b,a 
   & 1,3,c,a 
   & 3,2,b,c 
   ) 
\EndDraw