指示在字母表formula_1上的所有无限序列的集合。例如，如果我们使用二元字母表{0,1}，则字符串ε, 0, 1, 00, 01, 10, 11, 000等都将在这个字母表的Kleene闭包中（这里的ε表示空串）。字母表在形式语言、自动机和半自动机理论中是重要。自动机如确定有限状态自动机（DFA）要求在形式定义中有字母表。