\[ \newcommand{\tr}{\Rightarrow} \newcommand{\trs}{\tr^{\!\ast}} \newcommand{\rlnm}[1]{\mathsf{(#1)}} \newcommand{\rred}[1]{\xrightarrow{#1}} \newcommand{\rreds}[1]{\mathrel{\xrightarrow{#1}\!\!^*}} \newcommand{\cl}{\mathsf{Cl}} \newcommand{\pow}{\mathcal{P}} \newcommand{\matches}{\mathrel{\mathsf{matches}}} \newcommand{\kw}[1]{\mathsf{#1}} \]

Concrete Syntax for Arithmetic

In the following, $n$ may be any integer:

\[\begin{array}{rrcl} (1) & A &::=& F \\ (2) & A &::=& F + A \\ (3) & A &::=& F - A \\ (4) & F &::=& L \\ (5) & F &::=& L * F\\ (6) & L &::=& n \\ (7) & L &::=& (A) \end{array}\]