编译原理 第二章(程序设计语言及其文法）

字母表(Alphabet)

字母表∑是一个有穷符号集合

符号： 字 母、数符号：字 母、数、标点符号、 标点符号、 …

字母表上的运算

字母表 ∑1和∑2的乘积 ( product)

∑1∑2={ ab | a∈ ∑1, b∈ ∑2}
例： { 0, 1} {a, b} ={0a, 0b, 1a, 1b}

字母表 ∑的n次幂 ( power)

例：

{0，1}^3 = {0，1}{0，1}{0，1} = 
{000，001，010，011，100，101，110，111}

字母表的n次幂：长度为n的符号串构成的集合

字母表∑的正闭包(positive closure)

长度为正数的符号串构成的集合：

字母表 ∑的克林闭包(Kleene closure)

串

设∑是一个字母表，任意x∈∑，x称为是 ∑上的一个串*

串是字母表中符号的一个有穷序列

串s的长度，通常记作**|s|**，是指s中符号的个数

例：|aab| = 3

空串是长度为0的串，用 ε (spsilon) 表示

|ε| = 0

串上的运算-连接

如果x和y是串，那么x和y的连接是把y附加到x后面形成的串，记作xy

例： x = dog, y = house =>> xy = doghouse

空串是连接运算分单位元，

对于任意串s都有，εs = sε = s

设x，y，z，是三个字符串，如果x = yz，则称y是x的前缀&#x