\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 
   & 3,$q_{02}$,60,-40 
   )( 
     2,\null,120,40 
   & 4,\null,120,-40 
   & 5,\null,180,0 
   )( 
      0,1,$\epsilon$, 
   &  2,3,$\epsilon$, 
   &  4,5,$\epsilon$, 
   ) 
\env($M_1$,1,2,1.5) 
\env($M_2$,3,4,1.5) 
\EndDraw