为函数签名定义上下文无关语法

Question

我正在为我正在参加的编译器课程学习上下文无关语法。我试图为函数签名定义语法。例子是：

int a
int b, int c
Object a, Object d
...

我能达到的最接近的结果是：

Params -> Params, Param
       |  Param
       |  lambda

Param -> paramType paramName

但这不是我想要的。此语法允许不正确的字符串如 , int a。我在这里已经有一段时间了，我想不出更好的方法来获得正确的语法。

任何帮助将不胜感激。

Answer 1

基本上我们想要的是 (Param,)* Param | lambda，那么在生产规则中如何做到这一点呢？那么我们可以为 (Param,)* 引入另一个规则，如下所示：

ParamCommas -> Param, ParamCommas
            |  lambda

然后我们可以在 Params 中使用它，如下所示：

Params -> ParamCommas Param
       |  lambda

请注意，我们不需要额外的规则对于单个 Param，因为 ParamCommas 已经可以是 lambda。

Answer 2

这样做怎么样：

Param-> AB|lambda
A-> param
B->','paramB|lambda