编译原理第二章(1).ppt

第二章 文法和语言的基本知识 第二章 文法和语言的基本知识 2.0 概 述 对程序设计语言的描述是从语法、语义和语用三个因素来考虑。 2.0 概 述 2.0 概 述 2.1 字母表和符号串 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 文法和语言的形式定义 2.3 文法和语言的形式定义 2.3 文法和语言的形式定义 2.3 文法和语言的形式定义 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.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.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 P: I→L | LT T→L | D | LT | DT L→a | b | c | …|x|y|z D→0 | 1 | 2 | 3 | … | 9 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.1 文法的形式定义 G=( {A, B}, {a, b}, P, A ) 2.3.1 文法的形式定义 2.3.1 文法的形式定义 2.3.2 语言的形式定义 2.3.2 语言的形式定义 例如，设有文法G[S]: 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.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 2.3.4 递归规则与文法的递归性 3．广义推导 我们有： ?0??n表示从?0出发，经0步或若干步， 可推导出?n。 * 也就是说?0??n意味着?0??n或?0=?n。 * + E?E * E?i+i*i * 对上例 E→E+T | T T→T*F | F F→(E) | i 区别：直接推导的长度为1，推导的长度大于等于1，而广义推导的长度大于等于0。 4. 句型和句子 设有文法G[S]（S是文法G的开始符号） 如果S? x, x ∈(VN∪VT)* 则称符号串x 为文法G[S]的句型。 * 如果S? x, x ∈VT* 则称符号串x为文法 G[S]的句子。 * 例1 设有文法G[S]： 我们有: 显然，符号串01、0S1、00S11和000111 都是文法G[S]的句型，而01和000111又是文法G[S]的句子。 S→01 | 0S1 S? 01 * S? 0S1 * S? 00S11 * S? 000111 * 例2 设有文法G[E]： 试证明符号串 (i*i+i) 是文法G[E]的一个句子。 分析 只要证明符号串 (i*i+i) 对文法 G存在一个推导，就可证明符号串