grammar

2熱度

1回答

我正在嘗試將一個語法從野牛翻譯成ANTLR。語法本身在野牛中非常簡單，但我找不到一個簡單的方法來完成這個任務。語法野牛： expr = expr or expr | expr and expr | (expr) 任何提示/鏈接/指針是歡迎的。感謝，尤利安

2熱度

2回答

Island語法antlr3

什麼是和如何在antlr3中使用「島語法」？

22熱度

5回答

BNF vs EBNF vs ABNF：哪個可以選擇？

我想提出一種語言語法。我已經讀了一些關於這三個，並且不能真正看到任何人都可以做的事，而另一個人卻做不到。有沒有任何理由使用一個在另一個之上？或者這只是一個偏好問題？

7熱度

2回答

如何正確地形式化GNU/Linux命令的命令行用法？

我想寫一個類似BNF的形式語法來描述某些GNU/Linux工具的命令行用法。例如，我可以描述cat命令的作爲使用： (cat-command) : 'cat' (arguments-list) (arguments-list) : (argument) (arguments-list) : (arguments-list) (argument) (argument) : (file) 問

5熱度

1回答

LR（1）但不是LL的語法（1）

這對於你們中的一些人來說可能看起來像一個基本問題，但我期望在這裏能夠做出明智的回答。爲什麼不能LR（1）的語法與left recursion或LR（1）的語法是不left factored是LL（1）？

1熱度

3回答

上下文無關語法

我有這個問題，我需要將以下CFG轉換爲CNF中的CFG。 S-> ABa A-> aab B-> Ac 我知道的步驟如下。刪除小量的過渡 - 完成刪除單元製作轉換到CNF由：引入一個新的非終端每個術語與新的替換生產規則端子非終端引入新的非終端來減少每個產品右側的長度我有點困惑，我會如何處理上述問題。大多數情況下，我對第2步和單元製作感到困惑。如果我能得到一些幫助，或者鏈接到一

7熱度

3回答

將正則表達式轉換爲CFG

如何將某些常規語言轉換爲其等效的上下文無關語法？是否有必要構造與該正則表達式對應的DFA，或者是否存在用於這種轉換的一些規則？例如，考慮以下正則表達式 01 + 10（11）* 如何可以描述對應於上述RE語法？

10熱度

3回答

LL（1）不能含糊

如何證明LL（1）語法不能模糊？我知道什麼是模糊語法，但不能證明上述定理/引理。

1熱度

2回答

ANTLR中的固定數字格式

如何在antlr語法中指定一個固定的數字號碼？我想解析一個包含固定數量字符的字段的行。每個字段都是一個數字。 0034 | 9056 | 4567 | 0987 | -2340 | +345 | 1000 以上這行是示例行。 |表示字段邊界（它不會出現在實際的文件中，這裏只是爲了表示邊界）。的字段可以包含空白字符+/-

4熱度

3回答

語法LALR？

假設同樣的語法不是LR（1），我們可以放心地說語法不是LALR嗎？如果不是，語法爲LALR的條件是什麼？（或使語法不成LALR的條件是什麼）感謝您的幫助！