精神过程如何规则

此语法独立规则代码产生预期结果

term        = ( double_ >> "+" >> term ) [_val = _1 + _2]|
              ( double_ >> "-" >> term ) [_val = _1 - _2]|
              ( double_ >> "*" >> term ) [_val = _1 * _2]|
              ( double_ >> "/" >> term ) [_val = _1 / _2]|
              double_                    [_val = _1] ;

虽然这个没有：

term        = ( term >> "+" >> term ) [_val = _1 + _2]|
              ( term >> "-" >> term ) [_val = _1 - _2]|
              ( term >> "*" >> term ) [_val = _1 * _2]|
              ( term >> "/" >> term ) [_val = _1 / _2]|
              double_                    [_val = _1] ;

我想这与递归歧义有关......当输入"1+2+3"时，第二条规则会尝试做什么？

有没有一些好的文档来示意图地解释如何进行精神解析？我的意思是作为一个纯粹的c或算法，没有模板或类。

编辑：实际上，我认为第二条规则应该在编译器时失败，因为它是模棱两可的。