某个文法，若存在一个分析器可以在不用回溯法进行回溯的情况下处理该文法，则称该文法为 LL("k") 文法。这些文法中，较严格的 LL(1) 文法相当受欢迎，因为它的分析器只需多看一个词法单元就可以产生分析结果。那些需要很大的 "k" 才能产生分析结果的编程语言，在分析时的要求也比较高。
概览.对于给定的上下文无关文法，分析器尝试寻找该文法的最左推导。例如，给定一个文法formula_1：对formula_5的最左推导如下：通常, 选择一条规则来展开给定的（最左的）非终结符