编译原理简明教程(第2版).ppt

;;第二章??形式语言理论基础; 语法： 程序的结构形式 语义： 语言所代表的含义 语用： 语言的实际应用 例如：x:=a*b+c 语法： 变量:=表达式 v:= e 语义： 对e求值，再赋给变量 语用： 计算和保存e的值 以上形式化的描述不够清晰明确。 ; 探讨形式化方法: 用一套带有严格规定的符号体系来描 述问题的理论和方法。 形式语言：是一种不考虑含义的符号语言（只谈语法 不谈语义）。 形式语言理论：主要研究组成这组符号串的集合，它 们的表示法、结构及特性，只能用于 程序语言的语法描述和语法分析。 1956年著名语言学家Noam Chomsky 首先描述形式 语言，已成为计算机科学的一个重要组成部分，是编译 理论重要基础。 ;2.1 形式语言的基本概念 2.2 文法和形式语言的定义 2.3 语法树和二义性 2.4 文法的实用限制 2.5 文法和语言的Chomsky分类;2.1 形式语言的基本概念;1.字母表：是一个非空的有限集合。用Σ表示。 例 Σ={a，b，c} （a,b,c均为字符或符号, 是字母表中的元素） 2.符号串：符号的有序序列。用小写希腊字母表示如： ω，φ，λ a，b，ab， abc等。 ε表示空字符串，不包含任何符号的符号串。 ε≠空格 另外ab≠ba 3. 符号串集合：字母表上若干符号串的组成集合。用 大写字母表示。 例：A={a，ab，bc} ; 4.语言（形式语言）：字母表上所有符号串组成的集合的子集,用 L表示。 L Σ*，L可抽象地看成所有句子的集合。 句子又可抽象看成是某个有限字母表Σ的符号串。 字母表上的符号串不可能都是句子。 例：Σ={a}，L={a2k|k≥0} Σ={0，1}， L1={(01)n|n≥0}={ε，01，0101，……} L2={0n1n| n≥0}={ε，01，0011,……} ф空集或者空语言，不含任何符号串的语言。 ф≠{ε} ;2.1.2 符号串的运算; 3. 符号串的连接: 把符号串ψ的所有符号相继写 在ω之后，记ωψ或ω·ψ ω=ab， ψ=bc， 则ωψ=abbc 4. 符号串的逆：符号串ω的倒置，记ω-1 如 ω=abc 则 ω-1=cba ε-1=ε （ω-1）-1=ω （ωψ）-1=ψ-1ω-1 ; 5. 符号串的前缀、后缀和子串 设ω，ψ，φ是字母表Σ上的字符串，则ω为 符号ωψ的前缀，ψ为字符串ωψ的后缀，ψ是 字符串ωψφ的子串。 ? ; 6.符号串集合的乘积 A·B={ωψ|ω∈A， ψ∈B} 例：A={ab, ba} B={bc, b} 则AB={abbc, abb, babc, bab} 特别：{ε}A=A{ε}=A ; 7. 符号串的幂 （一个符号串与它自己的n次连接） ω0=ε ω1=ω ω2=ωω …… ωn=ωn-1ω 例： ω=ab ω0=ε ω1=ab