\Draw 
\StateDiagrams 
\StateSpec(+,106,,+,103,) 
\Diagram 
   ( 
     0,{-,-},0,0 
   & 1,{0,0},190,35 
   & 2,{0,1},0,85 
   & 3,{1,0},190,-35 
   & 4,{1,1},145,-110 
   & 6,\null,0,-110 
% 
   & 7,\hbox{$C_{i-1},X_{i-1}$},290,-60 
   & 8,\hbox{$C_{i},X_i$},410,-60 
   )( 
     5,{0,-},140,110 
   )( 
     0,1,$0/0$, 
   & 0,2,$1/1$, 
   & 0,3,$0/1$, 
   & 0,6,$1/1$, 
   & 6,4,$\epsilon/0$, 
   & 1,5,$\epsilon/0$, 
   & 2,5,$\epsilon/1$, 
   & 1,2,$1/0$,$0/1$ 
   & 3,4,$1/0$,$0/0$ 
   & 4,2,$1/1$, 
   & 1,3,$0/1$, 
% 
   & 1,1,0,$0/0$ 
   & 4,4,-90,$1/10$ 
% 
   & 7,8,\null, 
   ) 
 
\MoveToNode(7,-1,1) \Move(0,10) \EntryExit(-1,-1,0,0) 
{\baselineskip=9pt 
\Text(--% 
\hfill\hbox{$3(x_1...x_n) =  0x_1x_2...x_n$}~~ 
\hfill               \hbox{+\phantom{$x_1x_2...x_n 0$}}~~ 
\hfill               \hbox{$x_1x_2...x_n 0$}--) 
} 
\EndDraw