\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
 
\Diagram 
   ( 
     0,\null,0,0 
   & 1,{$q_0$},60,0 
   & 2,{$q_1$},120,0 
   & 3,{$q_2$},180,0 
   )( 
     4,\null,240,0 
   )( 
     0,1,$\epsilon$, 
   & 1,2,a,b 
   & 2,3,a,c 
   & 3,4,$\epsilon$, 
% 
   & 0,0,90,{a,b,c} 
   & 4,4,90,{a,b,c} 
   ) 
\EndDraw