\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
\Diagram 
   ( 
    1,$q_0$,120,30 
   )( 
     0,\null,0,0 
   & 2,\null,120,-30 
   )( 
     0,1,$\epsilon/\epsilon$, 
   & 2,0,$\epsilon/\epsilon$, 
   ) 
 
 
\MoveTo(120,0)  \DrawOval (30,50) 
\Text(--M--) 
 
\EndDraw