第二章 程序语言的语法描述.pptVIP

例：句子产生 从开始符号开始 从右边选择一个非终结符X 选择一条语法规则 用γ代替X 重复直到得到一个单词（字符）串 上下文无关文法 一个CFG包括四个组成部分 一组终结符号 组成语言的基本符号，就是前面提到的单词符号 终结符号从语法分析的角度看来是语言不可再分的基本符号 一组非终结符号 也称语法变量，用来代表语法范畴 一个非终结符是一个类或集合记号，而不是一个个体记号 一个开始符号 特殊的非终结符，代表所定义的语言中我们最终感兴趣的语法范畴，这个语法范畴通常称为句子 一组产生式 定义语法范畴的一种书写规则 * SEI * 例：算术表达式文法 * SEI * 自然语言描述 变量是一个算术表达式 若E1和E2是算术表达式，则E1+E2、E1*E2和(E1)也是算术表达式 * SEI * 上下文无关文法的形式定义 形式上说，一个上下文无关文法G是一个四元式 VT是一个非空有限集合，其中每个元素称为终结符号 VN是一个非空有限集合，它的每个元素称为非终结符号，VT∩VN＝? S是一个非终结符号，称为开始符号 P是一个产生式集合，每个产生式的形式是 * SEI * 上下文无关文法 例：简单算术表达式的上下文无关文法可表示如下： VN = {E} VT = {+，*，(，)，－，i} S = E P: E → E + E (1) E → E * E (2) E