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

\begin{Cor}\ \\

{\bf Question 1 :} 
Calcul des $R_i$ définis par~:

\[ \left\{ \begin{array}{lll}
R_0 & = & \{f / \exists u \in C, uf \in C\}\\
R_i & = & \{f / \exists u \in R_{i-1}, uf \in C\} \cup \{f / \exists u \in C, uf \in R_{i-1}\}
\end{array}\right.\]

\begin{equation*}
\begin{split}
C   & = \{00, 01, 011, 1110\}\\
R_0 & = \{1\}\\
R_1 & = \{110\} \cup \{\}\\
R_2 & = \{\} \cup \{\}\\
R_i & = \emptyset \text{ pour } i > 1\\
\end{split}
\end{equation*}

Cette application définit un code car : $\forall i, R_i \cap C = \emptyset$.

Le code est à delai borné car : $\forall i > 1, R_i = \emptyset$.


{\bf Question 2 :} 

\begin{figure}[h]
\centering\epsfig{file=exo1b.eps, height=.4\textheight, width=\textwidth}\\
\raggedright
\caption{automate avec sortie pour décoder $\phi$}
\end{figure}


{\bf Question 3 :} 
Un programme lex possible pour decoder $\phi$.
\verbatiminput{exo1c.lex}

\end{Cor}
