%\begin{Exo}
%\end{Exo}

\begin{Cor}\ 

{\bf Question 1 :} 
\begin{figure}[H]
\centering\epsfig{file=exo3a.eps, width=.4\textwidth}\\
\caption{Les quatrième {\tt 0} sont remplacés par des {\tt 1}.}
\end{figure}

{\bf Question 2 :} 
\begin{figure}[H]
\centering\epsfig{file=exo3b.eps, width=.6\textwidth}\\
\caption{Les quatrième {\tt 0} (resp {\tt 1}) sont remplacés par des {\tt 1} (resp {\tt 0}).}
\end{figure}

{\bf Question 3 :} 
\begin{figure}[H]
\centering\epsfig{file=exo3c.eps, width=.5\textwidth}\\
\caption{Le langage de sortie.}
\end{figure}

{\bf Question 4 :} Les mots {\tt 0000} et {\tt 0001} engendrent le même mot de sortie~: {\tt 0001}.

{\bf Question 5 :} Non~: Argument combinatoire. Tous les mots de longueur 4 ne peuvent pas être codés distinctement avec l'ensemble des mots de longueur 4 diminué des mots {\tt 0000} et {\tt 1111}.


\end{Cor}

