\Draw 
\StateDiagrams 
\StateSpec(,106,,+,42,25) 
\baselineskip=0.5\baselineskip 
\Diagram 
   ( 
     0,0,0 
   & 1,60,30 
   & 2,120,30 
   & 4,60,-30 
   & 5,120,-30 
   & 6,180,-30 
   )( 
      3,y~~substring~of~~x,200,30 
    & 7,x~~substring~of~~y,260,-30 
   )( 
     0,1,$\epsilon/\epsilon$, 
   & 1,2,$\epsilon/\epsilon$, 
   & 2,3,$\epsilon/\epsilon$, 
   & 0,4,$\epsilon/\epsilon$, 
   & 4,5,$\epsilon/\epsilon$, 
   & 5,6,$\epsilon/\epsilon$, 
   & 6,7,$\epsilon/\epsilon$, 
% 
   & 1,1,90,{$a/\epsilon,b/\epsilon$} 
   & 2,2,90,{$a/a,b/b$} 
   & 3,3,90,{$a/\epsilon,b/\epsilon$} 
   & 4,4,-90,{$\epsilon/a,\epsilon/b$} 
   & 5,5,-90,{$a/a,b/b$} 
   & 6,6,-90,{$\epsilon/a,\epsilon/b$} 
   ) 
 
 
 
\EndDraw