编译原理 02章_文法和语言的基本知识.ppt

第二章 文法和语言的基本知识 2.0 概 述 对程序设计语言的描述是从语法、语义和语用三个因素来考虑。 2.0 概 述 2.1 字母表和符号串 2.1 字母表和符号串 2.1 字母表和符号串 2.1 字母表和符号串 说明: 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.2 符号串的运算 2.3 文法和语言的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.2 推导和归约 2.3.2 推导和归约 2.3.2 规范推导和规范归约 2.3.2 规范推导和规范归约 2.3.2 推导和归约 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 P: I→L | LT T→L | D | LT | DT L→a | b | c | …|x|y|z D→0 | 1 | 2 | 3 | … | 9 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 2.3.3 文法的形式定义 G=( {A, B}, {a, b}, P, A ) 2.3.3 文法的形式定义 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.4 语法树 2.4 语法树 例如 设有文法G[E]: 2.4 语法树 根据推导过程构造句型i*i+i的语法树如下： 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.4 语法树 2.5.1 文法的二义性 2.5.1 文法的二义性 2.5.1 文法的二义性 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2. 构造一个等价的无二义性文法。即把排除二义性的规则合并到原有文法中, 改写原有的文法。 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.5.2 文法二义性的消除 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 2.6 文法和语言的分类 例如，用左线性正规文法和右线性正规文法定义标识符 2.6 文法和语言的分类 例如，用左线性正规文法和右线性正规文法定义无符号整数 2.6 文法分类总结 0型文法： 左部： VN和VT组成(可以由多个VN多个VT组成,但至少一个VN) 右部： VN和VT组成(可以由多个VN多个VT组成)。ε 1型文法： 左部： VN和VT组成(可以由多个VN多个VT组成,且至少一个VN) 右部： VN和VT组成(可以由多个VN多个VT组成)。 |左部|=|右部| 2.6 文法分类总结 2型文法：左部：只有一个VN 。