這是LR（1）語法嗎？

Question

對該語法是否模棱兩可有些困惑

C' -> C
C -> d C u C
C -> d C
C -> ε

我嘗試為此構建DFA，但在以下其中一個州獲得了它：

C -> d C DOT u C, $
C -> d C DOT, $

這不是減少偏移量的沖突，所以肯定意味着語法不是LR（1）嗎？ 還是因為$和u都在C的后面集中而減少？

Answer 1

它確實有轉移減少沖突。 這是通過選擇shift產生的狀態機。 沖突處於狀態4。

我應該指出，您的問題有點過頭了。 語法可以是明確的，但仍然不是LR（1）。

但這恰好是模棱兩可的。 考慮字符串ddudu 。 最左邊的兩個推導是

C'->C->dCuC->ddCuCuC->dduCuC->ddudCuC->dduduC->ddudu
C'->C->dCuC->ddCuC->dduC->ddudCuC->dduduC->ddudu

這些的存在說明語法是模棱兩可的。

證明一般語法不明確是一個無法確定的問題：不可能有算法。 令人高興的是，這並不是一件容易的事。