文无关文法。 在2006年, Frost 和 Hafiz 提出一个演算法，可以容纳包含直接左递归生成规则的 (ambiguous grammers)。 在2007年，Frost，Hafiz和Callaghan 将此演算法延伸为一个完整的，可以适用并在多项式时间内处理直接或间接左递归，而且可以为高度模煳文法接近指数数目的分析树，产生小一些多项式空间的表示法。这些人后来在Haskell程式语言里面以这个演算法实做了一个的分析器组合(parser combinator)的集合。
移除左递归