\Draw 
\StateDiagrams 
\Diagram 
   ( 
     0,0,0 
   & 1,60,30 
   & 2,60,-30 
   )( 
    3,120,0 
   )( 
     0,1,$a/a$, 
   &  1,3,$b/b$, 
   &  0,2,$b/b$, 
   &  2,3,$a/a$, 
% 
   & 0,0,90,{$a/\epsilon,b/\epsilon$} 
   & 1,1,90,{$a/a,b/b$} 
   & 2,2,-90,{$a/a,b/b$} 
   & 3,3,0,{$a/\epsilon,b/\epsilon$} 
   ) 
\EndDraw