ある文法についてLL(k)構文解析器が存在し、バックトラッキングなしで構文解析できる場合、その文法をLL(k)文法であるという。
然而，给定一个文法，若存在一个能识别该文法LL(k){\displaystyleLL(k)}分析器，则其k{\displaystylek}值的确定问题是不可判定的。