更一般化的说法，对非终结符号formula_10，间接左递归被定义为以下的型态：这里的formula_15都是一堆终端与非终结符号的序列。
在由上而下语法分析(top-down parsing)里容纳左递归.一个包含左递归的形式文法不能以简易的 递归下降分析器进行语法分析，除非将文法转变为weakly equivalent 的右递归形式 (相对的，在LALR分析器里面则比较偏好左递归，因为比起右递归来说会使用比较少的堆叠)；然而，比较复杂的由上而下(top-down)语法分析器里