上下文无关文法 ·定义:一个上下文无关文法包含四个部分 终结待号:组成串的基本待号(词法单元名字) 非终结符号:表示串的集合的语法变量 给出了语言的层次结构。 ·在程序设计语言中通常对应于某个程序构造,比如stmt(语旬) 开始符号:某个被指定的非终结符号。 ·它对应的串的集合就是大法的语言 产生式集合:描述将终结号和非终结♂号组成串的 方法 产生式的形式:头/左部→体/右部 头部是一个非终结符号,右部是一个符号串; ·例子: expression+ expression+term上下文无关文法 • 定义：一个上下文无关文法包含四个部分 – 终结符号：组成串的基本符号（词法单元名字） – 非终结符号：表示串的集合的语法变量。 • 给出了语言的层次结构。 • 在程序设计语言中通常对应于某个程序构造，比如stmt（语句） – 开始符号：某个被指定的非终结符号。 • 它对应的串的集合就是文法的语言 – 产生式集合：描述将终结符号和非终结符号组成串的 方法 • 产生式的形式：头/左部 → 体/右部 • 头部是一个非终结符号，右部是一个符号串； • 例子：expression → expression + term