Introduction

Comme les langages naturels, les langages informatiques utilisent une grammaire (ou syntaxe). La syntaxe d'un langage de programmation est cependant plus rigide et dispose d'un vocabulaire plus limité.

Différents formalismes de représentation d'une grammaire ont été définis. Nous considérons ici :

• le formalisme BNF (Backus Naur Form)

• les diagrammes de Conway

Pour obtenir une phrase correcte du langage, il faut partir d'un concept initial (symbole ou atome), puis dériver en appliquant des règles, jusqu'à obtenir un texte uniquement composé de symboles terminaux.