编译原理第2章-文法和语言讲义.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 递归规则与文法的递归性 2.4 文法的类型 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 2.4 文法和语言的分类 例如，用左线性正规文法和右线性正规文法定义标识符 2.4 文法和语言的分类 例如，用左线性正规文法和右线性正规文法定义无符号整数 2.4 文法和语言的分类 2.4 文法和语言的分类 2.5.1 推导和语法树 例如 设有文法G[E]: 2.5.1 推导和语法树 根据推导过程构造句型i*i+i的语法树如下： 2.5.1 推导和语法树 2.5.1 推导和语法树 2.5.1 推导和语法树 3.5.1 推导和语法树 3.5.1 推导和语法树 2.5.2 文法的二义性 2.5.2 文法的二义性 2.5.2 文法的二义性 2.5.2 文法的二义性 2.6 句型分析 句型分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 在语言的编译实现中，把完成句型分析的程序称为分析程序或识别程序。分析算法又称识别算法。 从左到右的分析算法，即总是从左到右地识别输入符号串，首先识别符号串中的最左符号，进而依次识别