如何跟踪有关迭代（非递归）函数的嵌套信息

Question

假设我有一个递归下降解析器 ，它定义了一堆嵌套规则。

Expr    ← Sum
Sum     ← Product (('+' / '-') Product)*
Product ← Value (('*' / '/') Value)*
Value   ← [0-9]+ / '(' Expr ')'

说我是对的●此处是流程中的第二个Value ：

Expr    ← Sum
Sum     ← Product (('+' / '-') Product)*
Product ← Value (('*' / '/') ●)*
Value   ← [0-9]+ / '(' Expr ')'

这意味着我在嵌套级别中位于此处的某个地方，可以这样说：

Expr
  Sum
    |Product
     +
     Product
    |Product
     -
     Product
       |Value
        *
        Value
       |Value
        *
        ●

当使用递归下降进行解析时，它是递归的，因此当Value返回时，我们返回到“ sequence” *解析节点，然后返回到Product节点，再返回到product sequence节点，依此类推。因此很容易构建解析树。

但是，假设您要使用迭代堆栈进行此操作。 问题是，如何跟踪嵌套信息，以便您可以在代码中（最终）说出：

function handleValue(state, string) {
  // ...
}

function handleValueSequence(state, string) {
  if (state.startedValueSequenceEarlier) {
    wrapItUp(new ValueSequence(state.values))
  }
}

function handleProduct(state, string) {
  // ...
}

function handleProductSequence(state, string) {
  if (state.startedProductSequenceEarlier) {
    wrapItUp(new ProductSequence(state.products))
  }
}

棘手的部分是，它可以任意嵌套，因此您可能需要：

Product
  Value
    Product
      Value
        Product
          ...

因此，如果您的函数（例如handleProductSequence除了函数的参数之外没有其他上下文，则无法确定应该如何“ wrapItUp”并最终创建该ProductSequence对象。 在我添加的state对象中，我试图考虑添加state.stack属性或其他内容的方法，但是我不确定其中会包含什么。 任何帮助将非常感激。

Answer 1

您的堆栈必须在控制流中包含“您所在的位置”。 在递归下降解析器中，这实际上与解析中的位置相同，因此您可以以这种方式编写通用的LL解析器。 就个人而言，我可能将产品表示为带有令牌列表和处理函数的对象。 （再加上EBNF运算符的扩展名，例如* 。）然后，状态将是生产，生产中的职位以及已匹配值的列表。

但是，当已经存在LR解析器生成器时，很难看到这样做的充分理由，本质上就是使用这种表示形式，并且它们可以处理更多的语法。