BNF
De l'anglais : Backus-Naur Form.
Il s'agit d'une méthode de description de la syntaxe d'un langage formel, elle a été conçu d'abord par J. W. Backus puis a été reprise par P. Naur.
Elle a été utilisée pour la première fois pour spécifier le langage ALGOL.