编译原理张淑艳 compiler-principle02.pptVIP

温故知新 字母表 字符 串 语言 集合 组合 集合 任何语言程序都可以看成是一定字符集（称为字母表）上的一字符串（有限序列）。 任何一个语言程序主要由语法和语义两个方面定义。 2.1 程序语言的定义 字符串 单词符号 语法单元 词法分析器 语法分析器 组合 (2)语法规则：是语法单位的形成规则。也就是规定了如何从单词符号形成更大的语法单位。 上下文无关文法 2.1.1 语法 字母表的字符 表达式、语句、分程序、函数、过程和程序 2.1 程序语言的定义 2.1.2 语义 语义：可以定义程序意义的规则。这些规则称为语义规则。 语法制导翻译方法 名字，标识符 名字的左值、右值 表达式 2.3 程序语言的语法描述 本节介绍语法结构的形式描述问题 符号串定义 上下文无关文法 语法分析树 文法的二义性 形式语言概述 2.3 程序语言的语法描述 符号串定义 字母表：字母表Σ是有穷符号元素的非空集合。 符号： 字母表中的元素 符号串：字母表中的符号所组成的任意有穷序列。 空符号串：不含任何符号的符号串， 用 ε 表示。 Σ*：Σ上的所有符号串的全体，包括ε 例如，若有字母表Σ={a, b} 则a, b是字母表Σ中的元素(符号) ε,a,b,aa,ab,ba,aaa,…都是符号串。 Σ* ={ε,a,b,aa,ab,ba,aaa,…} 2.3 程序语言的语法描述 ? 表示不含任何元素的空集 区别ε, ? 和{ε} 符号串的长度 串中符号的个数为符号串的长度。 若x=ab是符号串，则|x|表示符号串的长度。|x|=2。注意：|ε|=0 2.3 程序语言的语法描述 符号串的连接 符号串x和y的连接表示为xy， 若Σ={a, b, c, d}, x=ab, y=cd, 则xy=abcd 注意: (1)连接运算不满足交换律，即xy≠yx (2)任何符号串x与空串ε的连接都等于x，即：εx=xε=x 2.3 程序语言的语法描述 符号串的幂运算 设x是一个符号串，则： x0=ε，x1 = x，x2 = xx，…，xn = x…x 例：若有符号串x=ab，则： x0 = ε, x1= ab, x2 = abab, x3=ababab 显然，若n0,则xn=xxn-1 =xn-1x  即：符号串的幂运算服从结合律 。 2.3 程序语言的语法描述 符号串集合的连接 Σ*的子集U和V的连接（积）定义为 UV = {αβ|α∈U β∈V } 例 U={1, 2}, V={a, b, c} UV ={1a, 1b, 1c, 2a, 2b, 2c} 注意 在U≠V下，UV ≠VU，即不满足交换率 (UV)W = U(VW)，即满足结合率 2.3 程序语言的语法描述 指数（n次积） Vn= VV…V V0 = {ε} 闭包 V* = V0 ∪ V1 ∪ V2 ∪ V3 ∪ … 正闭包 V+ = VV* = V1 ∪ V2 ∪ V3 ∪ … 练习 U: { A, B, …, Z, a, b, …, z }, V: { 0, 1, …, 9 } UV, V6, V*, U(V )*, U+ n 符号 字符串 单词符号 词法分析器（正规式） 表达式 语句 程序块 程序 语法分析器 （上下文无关文法） 语法分析树 语言 集合 字母表 集合 组合 2.3 程序语言的语法描述 2.3 程序语言的语法描述 2.3.1 上下文无关文法 文法是描述语言的语法结构的形式规则，即语法规则。 上下文无关文法是文法的一种，简称文法。 它所定义的语法单位是独立于上下文的。 英文句子举例说明！ 2.3.1 上下文无关文法 句子 主语 谓语 间接宾语 直接宾语 代词 动词 冠词 名词 He gave me a book He gave me a book 语法分析树:句子结构的图形表示方式。 非终结符 终结符 开始符号 代词 me 2.3.1 上下文无关文法 规则：规则又叫产生式(production rule)，它是句子结构的另一种表示结构，它引入了符号“?”表示“由……组成”或“定义为”，上述句子的结构有如下语法规则。 句子 ?主语 谓语 间接宾语 直接宾语 主语 ? 代词 谓语 ? 动词 间接宾语 ?代词 直接宾语 ?冠词 名词 代词 ?He 代词 ? me 冠词 ? a 动词 ? gave 名词 ? book He gave me a book 2.3.1 上下文无关文法 句子的推导：用规则(产生式)按一定方式去推导或产生句子的过程。 句子 ? 主语 谓语 间接宾语 直接宾语 ? 代词 谓语 间接宾语 直接宾语 ? He 谓语 间接宾语 直接宾语 ? He 动语 间