字母表

给定一个字母表 ，我们写 来指示在字母表 上的所有有限字符串的集合。这里的 指示 Kleene星号算子。我们写 (偶尔 或 )来指示在字母表 上的所有无限序列的集合。

例如，如果我们使用二元字母表 {0,1}，则字符串 ε, 0, 1, 00, 01, 10, 11, 000, 等都将在这个字母表的 Kleene 闭包中(这里的 ε 表示空串)。