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