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