Extended Backus-Naur Form

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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[1] de 1996.

Elle est disponible gratuitement sous forme électronique en anglais[2].

Le W3C utilise une forme dérivée[3] de la forme étendue de Backus-Naur pour le langage XML.

1. Elle se fonde 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é croissante) : 

* 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}, "G";

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: G AAAG AAAAAAG etc.

Bibliographie

  • Niklaus Wirth, « What can we do about the unnecessary diversity of notation for syntactic definitions? », CACM, vol. 20, numéro 11, , pp. 822-823.
  • Roger S. Scowen, « Extended BNF — A generic base standard », Software Engineering Standards Symposium 1993.

Liens externes

  • Résumé [1] JDN Développeurs
  • Article [2] [PDF] par Richard E. Pattis Fonctions et syntaxe de l'EBNF
  • Article « BNF and EBNF: What are they and how do they work? » de Lars Marius Garshol
  • Article « The Naming of Parts » de John E. Simpson
  • ISO/IEC 14977 : 1996(E)
  • Citations from CiteSeer

Références

  1. ↑ « ISO/IEC 14977:1996 | Technologies de l'information -- Métalangage syntaxique -- BNF étendu », ISO.
  2. ↑ (en) PDF zippé, standards.iso.org.
  3. ↑ (en) « Extensible Markup Language (XML) 1.0 (Fifth Edition) | W3C Recommendation 26 November 2008 » : « 6 Notation », W3C.

(en) Cet article contient des extraits de la Free On-line Dictionary of Computing qui autorise l'utilisation de son contenu sous licence GFDL.

  • icône décorative Portail de la programmation informatique