將 EBNF 轉換為 LALR 解析器的 BNF

Question

我知道有幾個帖子的標題相似。 大多數鏈接到一個死網站 - 無論如何我有一個更具體的問題。

我正在嘗試將XPath 規范中的EBNF轉換為直接的 BNF，以便我可以輕松創建與 Bison 兼容的語法文件。

我已經有一段時間沒有這樣做了，我不記得遞歸屬於生產的哪一邊。 我認為它是左邊的 - 但是當我通過 Bison 生成的解析器運行純簡 XPath 表達式時，我的“直接”翻譯給了我語法錯誤。

因此，如果有人可以幽默我並權衡 - 所以我不是在追逐鬼魂：

在下面的Expr規則中：

Expr::=     
    ExprSingle ("," ExprSingle)*

這是正確的翻譯嗎？ （將遞歸放在左邊）：

Expr::= 
    Expr "," ExprSingle
    | ExprSingle

Answer 1

沒關系....

您可以將遞歸放在右側並且它應該可以工作，但是您將使解析器“做更多的工作”，因為它必須跟蹤遞歸的脊椎，並且為此必須使用更多的堆棧位置。

Answer 2

你的翻譯在規則Expr上遞歸，它接受其他Expr產生式。

正確的翻譯應該是：

Expr::=
    ExprSingle Expr1
Expr1::=
    Expr1 "," ExprSingle | ε