\Draw 
\StateDiagrams 
\StateSpec(+,34,25,+,34,25) 
\Diagram 
   ( 
     1,{even~a's~~odd~b's},120,0 
   & 2,{odd~a's~~even~b's},0,-110 
   & 3,{odd~a's~~odd~b's},120,-110 
   )( 
     0,{even~a's~~even~b's},0,0 
   )( 
     0,1,b,b 
   & 0,2,a,a 
   & 3,1,a,a 
   & 3,2,b,b 
   ) 
\EndDraw