\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
 
\Define\env(4){ 
   \MoveToLoc(#2)  \CSeg[0.5]\Move(#2,#3) 
   \MarkLoc(o)  \Text(--#1--) 
   \MoveToNode(#3,1,0)  \Move(15,0)  \MarkLoc(x) 
   \Move(0,10) \MarkLoc(y) \CSeg[#4]\Move(x,y)  \MarkLoc(x) 
   \MoveToLoc(o) 
   \CSeg\DrawOval(o,x) 
} 
 
 
\Diagram 
   ( 
     0,\null,0,0 
   & 1,$q_{01}$,60,40 
   & 2,$q_{02}$,60,-40 
   )( 
     3,\null,180,0 
   & 4,$q_{f1}$,120,40 
   & 5,$q_{f2}$,120,-40 
   )( 
      0,1,$\epsilon$, 
   &  0,2,$\epsilon$, 
   &  4,3,$\epsilon$, 
   &  5,3,$\epsilon$, 
   ) 
\env($M_1$,1,4,1.5) 
\env($M_2$,2,5,1.5) 
\EndDraw