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

\begin{Cor}\ 

{\bf Question 1 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1aa.eps, width=\textwidth}}\\
\centering{\epsfig{file=exo1ab.eps, width=.45\textwidth}}\\
\caption{construction {\em algorithmique} de $(ab+aab)^*(ab)^*$ et version minimale}
\end{figure}

{\bf Question 2 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1b.eps, width=\textwidth}}\\
\caption{version non déterministe de $(abc)^*(ab)^*$ et version déterministe}
\end{figure}

{\bf Question 3 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1cComp.eps, width=.5\textwidth}\hfill\epsfig{file=exo1c.eps, width=.4\textwidth}}\\
\caption{(avec $aba$ ou avec $aca$) et son complémentaire (sans $aba$ et sans $aca$)}
\end{figure}

\newpage{\bf Question 4 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1d.eps, width=.65\textwidth}}\\
\caption{au moins une occurence de $a, b, c$}
\end{figure}

{\bf Question 5 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1eComplet.eps, width=.65\textwidth}\hfill\epsfig{file=exo1e.eps, width=.35\textwidth}}\\
\caption{Nombres décimaux divisibles par 4 (droite à gauche) : complet et non complet}
\end{figure}

{\bf Question 6 :} 
\begin{figure}[H]
\centering{\epsfig{file=exo1fModulo.eps, width=.5\textwidth}\hfill\epsfig{file=exo1f.eps, width=.45\textwidth}}\\
\caption{Nombres décimaux divisibles par 4 (gauche à droite) : modulo et minimal (1=3)}
\end{figure}

\end{Cor}
