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

\begin{Cor}\ \\

\begin{enumerate}
\item 
\begin{equation*}
\begin{split}
S &\longrightarrow \{ S L | \text{~instr ;~} | \text{~;~} | \epsilon\\
L &\longrightarrow S L | \}
\end{split}
\end{equation*}

\item
\begin{equation*}
\begin{split}
S &\longrightarrow \text{begin~} S L | \text{~instr~} | \epsilon\\
L &\longrightarrow \text{~;~} S L | \text{~end~}
\end{split}
\end{equation*}

\item Une solution basée sur l'automate sous-jacent.

\begin{equation*}
\begin{split}
S     &\longrightarrow A~S_a~|~B~S_b~|~C~S_c~|~D~S_d~|~\epsilon\\
S_a   &\longrightarrow B~S_{ab}~|~C~S_{ac}~|~D~S_{ad}~|~\epsilon\\
S_b   &\longrightarrow A~S_{ab}~|~C~S_{bc}~|~D~S_{bd}~|~\epsilon\\
S_c   &\longrightarrow A~S_{ac}~|~B~S_{bc}~|~D~S_{cd}~|~\epsilon\\
S_d   &\longrightarrow A~S_{ad}~|~B~S_{bd}~|~C~S_{cd}~|~\epsilon\\
S_{ab}  &\longrightarrow C~S_{abc}~|~D~S_{abd}~|~\epsilon\\
S_{ac}  &\longrightarrow B~S_{abc}~|~D~S_{acd}~|~\epsilon\\
S_{ad}  &\longrightarrow B~S_{abd}~|~C~S_{acd}~|~\epsilon\\
S_{bc}  &\longrightarrow A~S_{abc}~|~D~S_{bcd}~|~\epsilon\\
S_{bd}  &\longrightarrow A~S_{abd}~|~C~S_{bcd}~|~\epsilon\\
S_{cd}  &\longrightarrow A~S_{acd}~|~B~S_{bcd}~|~\epsilon\\
S_{abc} &\longrightarrow D~|~\epsilon\\
S_{abd} &\longrightarrow C~|~\epsilon\\
S_{acd} &\longrightarrow B~|~\epsilon\\
S_{bcd} &\longrightarrow A~|~\epsilon\\
A &\longrightarrow \text{public}\\
B &\longrightarrow \text{static}\\
C &\longrightarrow \text{final}\\
D &\longrightarrow \text{transient}
\end{split}
\end{equation*}

\end{enumerate}

\end{Cor}

