在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

看到我的SO回答于details on how to build a recursive descent parser上的另一个类似问题。

特别是它解决了解析器的结构，以及如何通过检查语法规则（包括处理列表）来获取它。