编译原理语法1〔文法及语言〕.pptVIP

3.1 文法和语言 3.1.2 形式语言分类 5、4类文法的关系与区别 关系： (1) 从0型文法到3型文法的限制逐渐增； (2) 1~3型文法都属于0型文法； (3) 2、3型文法不一定属于1型文法：因为1型文法不允许存在“A?→ε”形式的产生式，则：如果2、3文法不含有类似产生式，则该文法属于1型文法。 3.1 文法和语言 3.1.2 形式语言分类 5、4类文法的关系与区别 区别： (1) 1型文法中不允许有形如“A→ε”的产生式存在，而2、3型文法则允许形如“A→ε”的产生式存在； (2) 0、1型文法的产生式左部存在含有终结符号的符号串或两个以上的非终结符，而2型和3型文法的产生式左部只允许是单个的非终结符号。 3.1 文法和语言 3.1.3 正规表达式与上下文无关文法 1. 正规表达式到上下文无关文法的转换 正规表达式所描述的语言结构均可用上下文无关文法描述，反之则不一定 正规表达式构造上下文无关文法的步骤： (1)构造正规表达式的NFA； (2)若0为初始状态，则A0为开始符号； (3)如果存在映射关系f(i,a)=j，则定义产生式Ai aAj； (4)如果存在映射关系f(i, ε)=j，则定义产生式Ai Aj； (5)如果i为终态，则定义产生式Ai ε 例题： 用上下文无关文法描述正规表达式1(0|1)*101 正规式1(0|1)*101相应的非确定自动机 构造的上下文无关文法： G[A0]: A0-1A1 A1-0A1|1A1|1A2 A2-0A3 A3-1A4 A4- ε 3.1 文法和语言 3.1.3 正规表达式与上下文无关文法 2. 正规表达式与上下文无关文法描述的对象 正规表达式描述词法： (1)词法规则简单，采用正规表达式足以描述； (2)正规表达式的表示比上下文无关文法更加简洁、直观和易于理解； (3)有限自动机的构造比下推自动机简单且分析效率高； 正规表达式适于描述线性结构，如标识符、关键字等； 上下文无关文法适于描述具有嵌套（层次）性质的非线性结构，如if-else、while 等。 第 4 讲 西北农林科技大学本科教程 主讲教师：赵建邦 第三章 语法分析 3.1 文法和语言 3.2 推导与语法树 3.3 自顶向下的语法分析 3.4 自底向上的语法分析 3.5 规范规约的自底向上语法分析方法 第三章《语法分析》 3.1 文法和语言 文法和语言的基本概念 形式语言分类（4类） 正规表达式与上下文无关文法 重点掌握 文法的表示 本讲目标 定位 语法分析是编译过程的第二个阶段，也是核心部分 任务 根据语言的语法规则对单词序列进行语法分析，识别合法的语法单位（如表达式、语句、程序段等），若不存在语法错误则给出正确的语法结构（语法树） 理论依据：上下文无关文法 方法 自顶向下分析（推导：开始符号 句子） 自底向上分析（规约：句子 开始符号） 语法分析： 英语语法结构 3.1 文法和语言 文法(Grammar)是程序语言的生成系统，用文法可以精确定义一个语言，并依据该文法构造出识别这个语言的自动机 文法对程序语言和编译程序的构造具有重要意义，如程序语言的词法可用正规文法描述，语法可用上下文无关文法描述，而语义则要借助于上下文有关文法描述 3.1 文法和语言 3.1.1 文法和语言的基本概念 1、语言 通常我们用Σ表示字母表，字母表中的每个元素称为字符或符号。不同语言的字母表可能是不同的，程序语言的字母表通常是ASCII字符集。 由字母表Σ中的字符所组成的有穷系列称为Σ上的字符串或字，字母表Σ上的所有字符串(包括空串)组成的集合用Σ*表示。 那么，对字母表Σ来说，Σ*上的任意一个子集都称为Σ上的一个语言，记为L( )，该语言的每一个字符串称为语言L的一个语句或句子。 3.1 文法和语言 3.1.1 文法和语言的基本概念 1、语言 例如，设Σ?=?{a, b, c}，则: L?=?{ε, a, aa, ab, aaa, aab, aba, abb, …} 为Σ上的一个语言。 如果a表示字母，b表示数字，c看做其它符号，则L即是程序语言中的标识符集，其中的每个标识符就是标识符集中的一个句子。 3.1 文法和语言 3.1.1 文法和语言的基本概念 2、文法 （定义） 文法通常表示成四元组G[S]?=?(VT，VN，S，ξ): (1) ?VT为终结符号集，这是一个非空有限集，它的每个元素称为终结符号。 (2) ?VN为非终结符号集，它也是一个非空有限集，其每个元素称为非终结符号，且有VT∩V