我的gramamar的一段代碼使我瘋狂。 我必須寫一個語法，允許多輸入寫功能 例如， function
begin
a:
<statments>
b:
<statements>
end
用的問題，即它的那就是都是這樣 ID = Expresion賦值語句。 在下面的引用中可以看到yacc產生的輸出。 0 $accept : Ins
我已經創建了其具有以下語法一個語言的編譯器，通過ML-Yacc的定義衝突（起始符號是「程序」，這是在底部定義）： %nonassoc FUN VAR ASSIGN PLUSASSIGN MINUSASSIGN TIMESASSIGN DIVIDEASSIGN
%right ELSE
%left OR
%left AND
%nonassoc EQ NEQ GT LT GE L
我有以下模棱兩可文法，其中大寫字母規則是簡單的詞法令牌： program : function | function program
function : FN ID ARROW TYPE invariants DASH block
fn_call : ID L_PAREN CONSTANT R_PAREN
invariants : invariant | invariant invar