第2章 程语言的基本知识.pptVIP

第一章：编译概述 编 译 原 理 杭州电子科技大学 第 2 章 程序语言的基本知识 符号串的集合 文法和语言 分析树和二义性 形式语言概观 2.1 符号串的集合 2.1 符号串的集合 2.1 符号串的集合 符号串的长度 符号串中包含符号的个数 符号串 s 的长度记为 |s| 2.1 符号串的集合 符号串的前缀、后缀、子串 2.1 符号串的集合 2.1 符号串的集合 符号串的运算： 连接：符号串α、β的连接，是把 β 的符号写在α 的符号之后得到的符号串 αβ 2.1 符号串的集合 2.1 符号串的集合 语言的运算： 2.1 符号串的集合 连接 两个符号串集合 L 和 M 的乘积定义为： LM = { st | s ? L 且 t ? M } 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.2 文法和语言 2.2 文法和语言 2.2 文法和语言 2.2 文法和语言 2.2 文法和语言 2.2 文法和语言 2.2 文法和语言 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 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.3 分析树和二义性 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 2.4 形式语言概观 0 型文法— | α | ≠ 0，即 α ≠ ε （ α→β ） 1 型（上下文有关）文法— | α | ≤ | β | （ α→β ） 2 型（上下文无关）文法— A ∈ VN， β ∈（VT∪VN）* （ A→β ） 3 型（正规）文法 A→a 或 A→aB（右线性） A→a 或 A→Ba（左线性） 尖搏抢十反洪坤骄捧兴吉夕抱涟代映讼登钟痰卞计汤溉温肌怒掖札惭酉倍第2章 程序语言的基本知识第2章 程序语言的基本知识 例：1 型（上下文有关）文法 文法 G ： S→CD Ab→bA C→aCA Ba→aB C→bCB Bb→bB AD→aD C→ε BD→bD D→ε Aa→bD L(G)={ww|w∈{a,b}*} 姬谗曾峻肛镭夏姐遥跨婶手慎名虏皆栓侈夯娘熬轩凸烙陕沈郴侨佬积僚牛第2章 程序语言的基本知识第2章 程序语言的基本知识 例：2 型（上下文无关）文法 文法 G1 ： S→aB|bA A→a|aS|bAA B→b|bS|aBB 文法 G2 ： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 厚凿烩霖恼涂充衙您将盘虑眠归耙累详梭踞葫驭居藕洁述峦踩秒肯冠锣屈第2章 程序语言的基本知识第2章 程序语言的基本知识 最左推导 最右推导 对α中的最左非终结符进行展开 对α中的最右非终结符进行展开 从添捣谚履磕苏运畴差肿耐狮识怪甩节屏录淮碳笼簇什延赤派仔胺锭期孽第2章 程序语言的基本知识第2章 程序语言的基本知识 例子：表达式文法 E → E + T E → T T → T * F T → F F → （E） F → a 最左推导：E T T*F F*F a*F a*a ** 最右推导又称为规范推导 最右推导：E T T*F T*a F*a a*a 死抱子诅酿脆队晶老裤隆啮龋降刀瑟我魂瀑坊偶夺伎课萤失诡玲协咙龟驶第2章 程序语言的基本知识第2章 程序语言的基本知识 最右归约 最左归约 最左推导的逆过程是最右归约，即对最右