Grammar
文法定义语言的合法句子结构，用产生式规则描述，常见形式有 BNF、EBNF、PEG。
用途
精确定义语言语法，驱动解析器生成与语法验证。
机制
BNF：非终结符 → 终结符/非终结符序列。EBNF 加重复/可选/分组语法糖。上下文无关文法（CFG）描述多数编程语言。LL/LR 文法子集可高效解析。
用例
- 语言设计
- 解析器生成
- 语法验证
文法定义语言的合法句子结构，用产生式规则描述，常见形式有 BNF、EBNF、PEG。
精确定义语言语法，驱动解析器生成与语法验证。
BNF：非终结符 → 终结符/非终结符序列。EBNF 加重复/可选/分组语法糖。上下文无关文法（CFG）描述多数编程语言。LL/LR 文法子集可高效解析。