c - BNF 文法中的递归

Question

好吧，我不确定我应该如何使用递归下降解析来编写一个函数来解析如下语法。事实上，我不确定我是否做对了......

BNF:

 A : B | A '!'
 B : '[' ']'

伪代码:

f()
{
   if(tok is B) 
      parse_b();
      return somethingB
   else if(????) how will I know if it's start of A or I don't need to?
      x = f();
      parse_c();
      return somethingA
}

我正在这样做(没有检查以确定它是否是 A，但我觉得它有问题):

f()
{
   if(tok is B) 
      parse_b();
      return somethingB
   else
      x = f();
      parse_c();
      return somethingA
}

Answer 1

请参阅我在 details on how to build a recursive descent parser 上对另一个类似问题的回答.

特别是它解决了解析器的结构，以及如何通过检查语法规则(包括处理列表)来推导出它。