Context-Free Grammar
上下文无关文法的产生式左部为单个非终结符，可描述递归结构，是多数编程语言语法基础。
用途
描述编程语言语法结构，驱动解析器设计。
机制
规则 A→α，A 为非终结符，α 为终结符/非终结符串。可描述嵌套（如括号匹配、表达式）但不可描述上下文依赖（如变量先声明后使用）。Chomsky 2 型文法。
用例
- 语言设计
- 解析器
- 语法分析
上下文无关文法的产生式左部为单个非终结符，可描述递归结构，是多数编程语言语法基础。
描述编程语言语法结构，驱动解析器设计。
规则 A→α，A 为非终结符，α 为终结符/非终结符串。可描述嵌套（如括号匹配、表达式）但不可描述上下文依赖（如变量先声明后使用）。Chomsky 2 型文法。