\Draw 
\StateDiagrams 
\Diagram 
   ( 0,0,0 
   )( 
     1,60,0 
   )( 
     0,1,$\#/\epsilon$, 
   & 0,0,90,{$a/a,b/\epsilon$} 
   & 1,1,90,{$a/\epsilon,b/b$} 
   ) 
\EndDraw