_文法和语言专业学习.pptVIP

第3章 文法和语言 3.1 文法的直观理解 3.2 字符串及其运算 3.3 文法的形式定义 3.4 文法的类型 3.5 递归规则与递归文法 3.6 规范推导与句柄 3.7 语法树和二义性 3.8 语言和文法构造讨论和小结 3.9 文法的实用限制和变换 3.1 文法的直观理解 设z = xy是符号串，则称x是z的头，y是z的 尾。 若y非空，则x是z的真（固有）头或真前缀。 若x非空，则y是z的真（固有）尾或真后缀。 例7: 设z = abc, 则 z的头有ε, a, ab, abc, 除了abc，其余都 是固有头； 3.3 文法的形式定义 定义 文法G定义为四元组（VN，VT，P，S）, 其中：VN：非终结符集； VT：终结符集， 并且 VN∩VT＝φ； 　P：产生式集合；S： 开始符号或识别符号； P中产生式形式为：α→β， 书写符号约定 非终结符用大写字母A,B,C,…表示,S,Z用作开始符 终结符用小写字母a,b,c,… 表示 Z,Y,X,… 表示文法符号 u,v,w,x,… 表示符号串 第一条规则的左部符号是开始符 3.4 文法的类型 0 型文法 1 型文法 2 型文法 3 型文法 四种文法之间的关系： 由于四种文法是按照将产生式做进一步限制而 定义的，所以它们之间是逐级“包含”的关系，由四 种文