%\begin{Exo}
%\end{Exo}
\newpage
\begin{Cor}\ 

{\bf Question 1 :}
\begin{figure}[H]
\centering{\epsfig{file=exo4a.eps, width=.5\textwidth}}\\
\caption{Les constantes entières du langage C}
\end{figure}

{\bf Question 2 :} 

\[ \begin{array}{rcl}
nombre & = & (0-9)^* \\
point & = & . \\
exposant & = & (e|E)[+|-](0-9)^* \\
type & = & [f|F|l|L] \\ \hline
constanteFlottante & = & nombre\ point\ nombre\ exposant\ type \\ 
& + & nombre\ point\ nombre\ type \\
& + & nombre\ point\ type \\
& + & nombre\ exposant\ type \\
& + & point\ nombre\ exposant\ type \\
& + & point\ nombre\ type
\end{array}
\]

Il est assez facile d'obtenir un automate non déterministe par {\em l'union} des automates reconnaissant chacune des sous-expressions.
\end{Cor}

