第二章 程序语言的的基本知识.pdf

编译原理 Principle of Compiler 第二章 程序语言的基本知识 黄孝喜 HUANG Xiaoxi 提纲 • 符号串和语言 • 文法和语言 • 分析树和二义性 • 形式语言概观 • 总结 2 符号串和语言 • 字母表Σ: 符号的有限集合 • 符号: 可以互相区分的记号或元素 • 不同语言有不同的字母表 • Σ={0, 1} 表示二进制数的字母表 • Σ={a, b, c,…,z} 表示英语的字母表 • Σ={A∼Z, a∼z, 0∼9, +, -, *, /, , =, , :, ′, ′, ；, . , ↑, (, ), ‘{‘, ‘}’, [, ] } 表示程序设计语言Pascal 的字母表 • 符号串: 字母表上的符号的有穷序列,也称为句子 • 例如: 0110, great, abba • 空符号串ε不包含任何符号的符号串，是任何Σ 上的符 号串 3 符号串的运算 • 连接(Concatenation): 符号串α 、β 的连接，是把β 的符号写在α 的符号之后得到的符号串αβ • 如 α= ab, β= cd 则αβ = abcd ，βα cdab • 注：εα = αε = α • 幂(Power): 符号串α 自身连接n 次得到的符号串α α…αα(n 个α) 表示为αn 0 1 2 n • α =ε ， α =α ， α =αα ，……， α = αα...α • 符号串的长度表示符号串中包含符号的个数 • w = a a ...a |w| = n，|ε| = 0 1 2 n ， • 子串(substring): 符号串中的连续子序列 • x=αβδ ，则β是x 的一个子串 4 特殊的子串: 前缀和后缀 • 前缀：删去符号串 s 尾部的零个或多于零个 符号得到的符号串 × × × • 后缀：删去符号串 s 头部的零个或多于零个 符号得到的符号串 × × × • 符号串的真前缀、真后缀和真子串——删去 多于零个字符(非空) × × × × × × • 对于w uv ，u是前缀，v 是后缀 5 符号串集合的运算 • 一般的集合操作+ 和• • A+B (A ∪B) = {w| w ∈A ，or w ∈B} • A •B (AB) = {xy| x ∈A ，and y ∈B} 0 n n-1 • A ={ε}，A =A A * • Σ : 表示由字母表Σ 中的符号组成的符号串集合 * 0 1 2 3 • Σ =Σ +Σ +Σ +Σ +… * • Σ={a, b} ，则Σ ={ε,a, b, ab, ba, aa, bb, aaa, bbb, …} 是一个无穷集 + * • Σ = Σ - {ε} * + • Σ 和Σ 分别称为Kleene 闭包( 星闭包)和正闭包 6 符号串和语言 • 语言的定义 • 语言就是某个字母表上的符号串的集合 • 如{ε，0，00，000，…}，{ε}，∅