如何在 jflex 上創建一個 lambda 符號？

Question

我正在用 jflex + javacup 做一個句法分析器。 在 .cup 語法我有這部分：

   SUBPPARAMLIST ::= lambda | "(" EXPLIST ")"

lambda 沒有任何意義（SUBPPARAMLIST 可以為空）

好吧，我設法在我的 .flex 中正確創建了所有標記，但我不知道如何創建 lambda 符號。 我希望你們能幫助我，如果你不明白我的問題，請告訴我

WhatDoIWriteHere{return symbol(sym.lambda);}

Answer 1

空的產生式（你稱之為“lambda”）不需要符號，因為它是空的。 您可以通過產生式規則表達這一點：

SUBPPARAMLIST ::= lambda | "(" EXPLIST ")" ;
lambda ::=  ;

引用：語法中的每個產生式都有一個左側非終結符，后跟符號“::=”，然后是一系列零個或多個動作、終結符或非終結符，后跟一個可選的上下文優先級分配，並以分號 (;) 終止。 注意“...零個或多個...”

可能語法解析器也能夠處理這個：

SUBPPARAMLIST ::= "(" EXPLIST ")" | ;