在计算机科学中，字母表是字符或数字的有限集合。最常见的字母表是二元字母表{0,1}。有限字符串是来自字母表的字符的有限序列；例如二元字符串是来自字母表{0,1}的字符构成的字符串。字符的无限序列也可以用来自一个字母表的元素来构造。给定一个字母表formula_1，我们写formula_2来指示在字母表formula_1上的所有有限字符串的集合。这里的formula_4指示Kleene星号算子。我们写formula_5(偶尔formula_6或formula_7）来指示在字母表formula_1上的所有无