形式语言与自动机-2015-第01讲-概论技术总结.ppt

定义 1.1 字母表是一个非空有限集合，通常记作∑，其中元素称为字母表的字符。 字母表及其字符特点： 1、字母表具有非空、有穷性； 2、字符具有不可分性、整体性； 3、字符具有可区分性 、可辨认性。 字母表与字符串 例：考察以下字母表： ∑1 = { aa, ab, bb }； ∑2 = { a, a‘, b, b’ }； ∑3 = { a, b, a }。 字母表与字符串 定义 1.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 } 字母表与字符串 定义 1.3 设∑是一个字母表，∑的 n 次幂可递归定义为： ∑0 = {ε}; ∑n = ∑n-1∑, n≥1， 其中，ε表示∑ 由 0 个字符（空字符）组成。 辨异 - {ε} 与 空集 Φ的区别。 定义 1.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, … } 字母表与字符串 定义 1.5 设∑是一个字母表， ?x ∈∑*， 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, … } 3、 an = aa…a 表示 n 个 a 组成的字符串。 例： | ab | = 2 , | aab | = 3, | an | = n , | a0 | = |ε| = 0 定义 1.6： 设∑是一个字母表， ?x ∈∑*，字符串 x 中字符出现的总个数叫做该串的长度，记作 | x |。 字母表与字符串 定义 1.7： 设 ? 和 ? 是任意两个字符串，则 ? = ? 当且仅当 | ? | = | ? |，并且组成 ? 的字符与组成 ? 的字符依次对应相同。 例： 若 ? = ab，? = ab， 则 ? = ?； 若 ? = ab， ? = ba， 则 ? ? ?。 字母表与字符串 定义 1.8 ： 1、设 ? 和 ? 是 ∑* 上任意的两个字符串，? 和 ? 的连接构成一个新句子，记作 ? · ?（简记为 ? ?），该句子由串 ? 后直接接串 ? 组成。 字母表与字符串 2、对于 n ≥ 0，字符串 ? 的 n 次幂为： （1） ?0 = ε；（2） ?n = ?n-1 ? 例：设 ∑ = { 0, 1 }, x = 001, y = 1101； 1、 x0 = y0 =ε; 2、 xy = 0011101; 3、x2 = 001001 4、 y4 = 1101110111011101, 字符串连接性质： 对于∑* 上任意字符串 x, y, z, 连接运算具有以下性质