语言一个字符串的所有前缀的集合:语言的前缀闭包是 一个语言叫做前缀闭合的，如果 formula_42。明显的，前缀闭包算子是幂等的:前缀关系是二元关系 formula_44，有着 formula_45 当且仅当 formula_46。前缀文法生成(关于这个文法)前缀闭合的语言。