\Draw 
\StateDiagrams 
\StateSpec(+,30,15,+,103,) 
\Diagram 
   ( 
     0,{$\{01,10\}^*$},0,0 
   )( 
     1,0,60,60 
   & 2,\null,120,0 
   & 3,1,60,-60 
   )( 
     0,1,0,1 
   & 0,3,1,0 
   & 1,2,0, 
   & 3,2,1, 
% 
   & 2,2,0,{0,1} 
   ) 
\EndDraw