第二章 符号语言和形式文法.pdfVIP

第二章 符号语言与形式文法 软件开发环境国家重点实验室 1 第二章 符号语言与形式文法 字母表、字符串及其集合 符号语言及其运算性质 形式文法及其派生语言 形式文法的构成与等价 形式文法的乔姆斯基体系 字母表与字符串 定义 2.1 字母表是一个非空有限集合，通常记作∑，其中元素称为 字母表的字符。 字母表及其字符特点： 1、字母表具有非空性和有穷性； 2、字符具有不可分性 - 整体性； 3、字符具有可区分性 - 可辨认性。 例：考察以下字母表： ∑1 = { aa, ab, bb } ： 是字母表，其中，aa 不可拆分 ∑2 = { a, a‘, b, b’ } ： 是字母表，其中， a, ‘ 不可拆分 ∑3 = { a, b, a } ： 不是字母表，两个 a 无法区分 3 字母表与字符串 定义 2.2 设∑1，∑2 是两个字母表，∑1，∑2 的乘积定义为 ∑1∑2 = { ab | a ∈∑1 ∧b ∈∑2 } 。 例： 1、 { 0, 1 } { a, b, c } = { 0a, 0b, 0c, 1a, 1b, 1c }; 2、 { a, b, c } { 0, 1 } = { a0, a1, b0, b1, 0c, c1 }; 3、 { aa, ab, bb } { 0, 1 } = { aa0, aa1, ab0, ab1, bb0, bb1 } 显然，字母表的乘积不具有交换率。 字母表与字符串 定义 2.3 设∑是一个字母表，∑乘积的 n 次幂可递归定义为： 0 n n-1 ∑ = { ε}; ∑ = ∑ ∑, n ≥1。 其中， ε是长度为 0 的字符串（空字符）。 注：{ ε} 与 空集 Φ的区别： 1、ε是一个字符，用于标识长度为 0 的字符串； 2、 { ε} ≠ Φ： { ε} 是含有一个长度为 0 的字符串标记集合。 字母表与字符串 定义 2.4 设∑是一个字母表， + 2 3 ∑的正闭包： ∑ = ∑∪∑ ∪∑ ∪…. , * 0 2 3 ∑的克林闭包： ∑ = ∑ ∪ ∑ ∪ ∑ ∪∑ ∪…. , 例： 1、{ 0, 1 }+ = { 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... }; 2、{ 0, 1 }* = { ε, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... }; 3 、{ a, b, c }* = { ε, a, b, c, aa, ab, ac, ba, bb, bc, …, aaa, … } 字母表与字符串 定义 2.5 * 设∑是一个字母表，∑ 中的任一字符串 x 也叫做 ∑ 上的 一个句子。 例： 1、{ 0, 1 }* = { ε, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... }; 2、{ a, b, c }* = { ε, a, b, c, aa, ab, ac, ba, bb, bc, …, aaa, … } 字母表与字符串 定