语法定义-福州大学编译原理

语法定义 上下文无关文法 Context-free Grammar (CFG) : 终结符 (记号 T )集：是该文法所定义语言的基本符号集合 非终结符（语法变量 NT ）集：语法变量表示终结符串集合 产生式规则集，每个产生式形式为： NT  {T, NT}* 指定一个非终结符为开始符号 S <句子> → <主语><谓语> <主语> → <代词> | <名词> <代词> → 我 <名词> → 大学生 <谓语> → <动词><直接宾语> <动词> → 是 <直接宾语> → <代词>|<名词> 从开始符号出发，反复替代符号串中的非终结符（用该符号产生式右部），可以产生终结符串（记号串）。由一个文法的开始符号产生的所有记号串形成了该文法定义的语言。 上下文无关文法：无需考虑产生式左部在上下文中出现的情况。