\Draw 
 
\StateDiagrams 
 
\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,0,30 
   & 1,-35,-40 
   )( 
     2,35,-40 
   )( 
      0,1,$\epsilon$, 
   &  2,0,$\epsilon$, 
   ) 
\env($M_1$,1,2,1.5) 
 
\EndDraw