Que signifie un double deux-points suivi d'un signe égal (::=) dans la documentation de programmation ?

Question

Que signifie ::= dans la documentation de programmation ? Par exemple dans la documentation Lua : ou dans la documentation Python .

Answer 1

Il s'agit de la notation Backus-Naur Form (BNF) décrivant la langue. ::= dans ce contexte signifie est défini comme .

Par exemple, dans la documentation du langage Python à laquelle vous faites référence, un identifiant est défini comme une lettre ou un trait de soulignement, suivi d'une lettre, d'un chiffre ou d'un trait de soulignement. La notation décrit ensuite ce que sont définis une lettre et un chiffre, et ainsi de suite.

Answer 2

Comme d'autres l'ont déjà dit, cela fait partie de la notation BNF. Wikipedia a une explication et quelques exemples , que je ne répéterai pas ici.

L'histoire et l'évolution du ::= lui-même sont expliquées dans The History of the ALGOL Effort (p29 et suivantes).

Answer 3

La syntaxe de l'élément donné. Par exemple:

 identifier ::=  (letter|"_") (letter | digit | "_")*

Signifie que tous les identifiants doivent être conformes à la règle de syntaxe donnée.