Grammar

To specify the syntax of a language, we define a grammar:

• an alphabet, $V=V_T\cup V_{NT}$ (terminals and non-terminals)
• rules
• initial symbol