\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
 
\NewNode(\AStateNode,\MoveToOval){ 
    \DrawOval(10,10) 
    \Do(1,10){ \I+36; \J=\I; \J+18; 
      \DrawOvalArc(13,13)(\Val\I,\Val\J)   } 
  } 
 
 
\Diagram 
   ( 
     0,$q_{01}$,0,0 
   & 2,$q_{02}$,170,0 
   )( 
     1,\null,70,0 
   )( 
     1,2,$\epsilon/\epsilon$, 
   ) 
 
\MoveTo(35,0) \Text(--$M_1$--)  \MoveTo(35,0) \DrawOval(65,30) 
\MoveTo(200,0) \Text(--$M_2$--) \MoveTo(185,0) \DrawOval(45,30) 
 
\EndDraw