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

\begin{Cor}\ \\
\begin{Que}
Rappels~:
\begin{equation*}
\begin{split}
Expression  & \longrightarrow Terme~|~Expression~+~Terme\\
Terme       & \longrightarrow Formule~|~Terme~*~Formule\\
Formule     & \longrightarrow Constante~|~(~Expression~)\\
\end{split}
\end{equation*}

On trouve facilement cinq des six règles.
\begin{verbatim}
UnaryExpression :
        ...
MultExpression :
        UnaryExpression
        MultExpression * UnaryExpression

AddExpression :
        MultExpression
        AddExpression + MultExpression
\end{verbatim}
\end{Que}

\begin{Que}
\[
\begin{array}{lll}
StatementExpression & \Rightarrow & Assignment\\
& \Rightarrow & LeftHandSide~AssignmentOp~AssignmentExpression\\
& \Rightarrow & Name~=~CondExpression\\
& \Rightarrow & x~=~CondOrExpression\\
& \stackrel{*}{\Rightarrow} & x~=~AddExpression\\
& \Rightarrow & x~=~AddExpression~+~MultExpression\\
& \Rightarrow & x~=~MultExpression~+~MultExpression\\
& \stackrel{*}{\Rightarrow} & x~=~Name~+~Name\\
& \stackrel{*}{\Rightarrow} & x~=~a~+~b
\end{array}
\]
\end{Que}

\begin{Que}
Les priorités en ordre croissante apparaissent naturellement dans le source. Un extrait~:

\[
\begin{array}{lll}
AssignmentExpression & \Rightarrow & CondExpression\\
& \Rightarrow & CondOrExpression\\
& \Rightarrow & CondAndExpression\\
& \Rightarrow & IncOrExpression\\
& \Rightarrow & ExcOrExpression\\
& \Rightarrow & AndExpression\\
& \Rightarrow & EqualityExpression\\
& \Rightarrow & RelExpression\\
& \Rightarrow & ShiftExpression\\
& \Rightarrow & AddExpression\\
& \Rightarrow & MultExpression\\
& \Rightarrow & UnaryExpression\\
& \Rightarrow & UnaryExpressionNotPlusMinus\\
& \Rightarrow & PostfixExpression\\
& \Rightarrow & Name\\
\end{array}
\]

\end{Que}

\end{Cor}

