\Draw \StateDiagrams 
\StateSpec(+,23,15,+,23,15) 
\Diagram 
   ( 
     0,i=2j,0,0 
   & 1,i=2j-1,105,0 
   & 2,i$<$2j,70,-60 
   )( 
     3,\null,140,-60 
    & 4,i$>$2j,0,-60 
   )( 
     0,1,$1/1$,$1/\epsilon$ 
   & 0,2,$\epsilon/\epsilon$, 
   & 1,2,$\epsilon/\epsilon$, 
   & 2,3,$\epsilon/\epsilon$, 
   & 0,4,$1/\epsilon$, 
% 
   & 2,2,-90,$\epsilon/1$ 
   & 4,4,-90,$1/\epsilon$ 
   ) 
\EndDraw