Что означает ::= в документации по программированию?
Например, в документации Lua: http://www.lua.org/manual/5.2/manual.html#3.2
Или документация Python: http://docs.python.org/release/2.7.1/reference/lexical_analysis.html#identifiers
Он символизирует правило вывода символов в Бэксу-Наурской форме
Это означает, что в:
<symbol> ::= __expression__
nonterminal <symbol> состоит из (определяется как, строится из, вытекает из) __expression__
Используется для описания языковых грамматик.
Обратите внимание, что оба примера находятся в Extended Backus-Naur Form, но с использованием традиционного разделителя символов-символа BNF (::=).
Это запись Backus-Naur Form (BNF), описывающая язык. ::= в этом контексте означает, что это определено как.
Например, в документации на языке Python, на которую вы ссылаетесь, идентификатор определяется как буква или знак подчеркивания, за которым следует буква, цифра или символ подчеркивания. Затем обозначаются обозначения, обозначающие букву и цифру, и т.д.
Как уже говорили другие, это часть нотации BNF. В Wikipedia есть описание и некоторые примеры, которые я не буду здесь повторять.
История и эволюция самого символа::= объясняются в История усилий ALGOL (p29 и далее). Данный синтаксис элемента. Например:
identifier ::= (letter|"_") (letter | digit | "_")*
означает, что все идентификаторы должны соответствовать заданному правилу синтаксиса.