BNF中的"定义为"
表示成 ::= 也可以说是 →
那 := 是什么意思
有看到有些人都混用 这三个意思都相同吗
不过有段推论过程是这样的
<assign> ::= id := <exp>
::= id := <exp>
:= <exp> + <term>
:= <term> + <term>
.
.
.
.
第一行id前后两个的差别在哪?

of course not the same. ::= is in meta-language,while := is in object language.