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