EBNF

Un article de Wikipédia, l'encyclopédie libre.

L'Extended Backus-Naur form (EBNF) est une extension du métalangage BNF, créée par Niklaus Wirth. Cette forme permet de condenser la notation BNF et de la rendre plus lisible.

Niklaus Wirth simplifia la forme de Backus-Naur lorsqu'il créa le langage Pascal dans les années 1970.

Elle est reprise dans la norme ISO 14977 de 1996. Elle est disponible gratuitement sous forme électronique en anglais (PDF zippé). Le W3C utilise une forme dérivée de la forme étendue de Backus-Naur pour le langage XML.

1. Elle se base sur les conventions suivantes :

  • Chaque méta-symbole de l'EBNF est écrit comme un ou plusieurs mots joints par un trait d'union;
  • Un méta-symbole se terminant par “-symbol” est un terminal.

2. Les caractères représentant les opérateurs sont les suivants (par ordre de priorité) :

* répétition
- absence
, concaténation
| choix
= définition
; terminaison

3. La priorité normale est substituée par les paires suivantes :

´  terminal ambigu   ´
"  terminal ambigu  "
(* commentaire *)
(  groupe  )
[  groupe optionnel  ]
{  groupe répété  }
?  séquence spéciale ?

Exemples de règles :

aa = "A";
bb = 3 * aa, "B";
cc = 3 * [aa], "C";
dd = {aa}, "D";
ee = aa, {aa}, "E";
ff = 3 * aa, 3 * [aa], "F";
gg = 3 * {aa}, "D";

Chaînes définies par les règles ci-dessus:

aa: A
bb: AAAB
cc: C AC AAC AAAC
dd: D AD AAD AAAD AAAAD etc.
ee: AE AAE AAAE AAAAE AAAAAE etc.
ff: AAAF AAAAF AAAAAF AAAAAAF
gg: D AAAD AAAAAAD etc.

[modifier] Références

[modifier] Liens externes

Cet article est basé sur une traduction de la Free On-line Dictionary of Computing et est utilisé avec permission selon la GFDL.