\Draw 
\StateDiagrams 
\StateSpec(+,30,15,+,30,15) 
\Diagram 
   ( 
     0,\#a=\#b,0,0 
   & 2,\#a$<$\#b,70,-30 
   )( 
     1,\#a$>$\#b,70,30 
   & 3,\null,160,30 
   )( 
     0,1,$a/\epsilon$, 
   & 0,2,$\epsilon/b$, 
   & 2,3,$\epsilon/\epsilon$, 
% 
   & 0,0,120,$a/b,b/\epsilon,\epsilon/a$ 
   & 1,1,90,$a/\epsilon,b/\epsilon$ 
   & 2,2,0,$\epsilon/a,\epsilon/b$ 
   ) 
\EndDraw