編譯原理最右規約

『壹』 編譯原理最左最右推導規則

因為推導過程並不要求所有的產生式都用上。再給你舉個例子，比如：
baa，那推導也是S=>AB=>bBB=>baB=>baa，也沒有用到那個式子啊。
當然，有可能這個式子永遠用不到，也就是這個式子的功能可以用另外的式子替換，這時候，這個文法就是有冗餘的。

『貳』 編譯原理的簡單題（著急 在線等）

你這個問題很厲害，你連最右推倒都會寫，怎麼不會寫規范規約呢？把最右推倒逆著寫不就成的嗎？

『叄』 編譯原理的最左推導和最右推導。。。

(2)給出句子0127,34和568的最左推導和最右推導我是剛學編譯原理,不知道該怎麼去思考,從那入手呢? (1)帶先導0的十進制無符號整數 (2)最左推導：

『肆』 句柄的編譯原理

一個句型的最左直接短語稱為該句型的句柄，句型的句柄是和某產生式右部匹配的子串，並且，把它規約成該產生式左部的非終結符，代表了最右推導過程的逆過程的一步。
如右圖，在推導過程中，S→aABe→aAde→aAbcde→abbcde，此四步的句柄分別為aABe,d,Abc,b
句柄的特徵：
1. 它是直接短語，即某規則右部。
2. 它具有最左性。
注意：短語、直接短語和句柄都是針對某一句型的，特指句型中的哪些符號子串能構成短語和直接短語，離開具體的句型來談短語、直接短語和句柄是無意義的。另外句柄的右邊僅含終結符如果文法二義，那麼句柄可能不唯一。

『伍』 請問規范規約是什麼意思（這個詞應該是用在計算機編譯原理中）

在編譯原理中，規范規約是編譯程序中語法分析（自下而上分析）階段的，在此階段中處理文法和句子。規范規約是文法中句子的一個最右推導的逆過程。
如果你是沒學過編譯原理的，這個具體要說意思的話，太抽象。你只要知道編譯程序的工作是從輸入源程序開始到輸出目標程序為止的整個過程，而這個過程可分為五個階段：詞法分析、語法分析、語義分析與中間代碼產生、優化、目標代碼生成。規范規約就是語法分析中用到的，為後面的步驟做准備。

『陸』 編譯原理，算符優先文法採用"移進-規約"技術,其規約過程是規范的. 這句話錯在哪了謝謝

算符優先文法確實使用了移入歸約技術，但其歸約過程不滿足規范歸約（最左歸約），算符優先文法每次歸約的是最左素短語，而規范歸約每次歸約的是最左直接短語（句柄）

『柒』 編譯原理的疑問

設文法G的開始符號為S，abc是G的一個句型。
如果有句型S *=>aAc，且A +=>b，則稱b是句型abc相對於非終結符A的短語。
假如A =>b，則稱b是句型abc相對於規則A=>b的直接短語。
句柄就是句型的最左直接短語。
假如一個短語，有且只含有一個非終結符，則稱之為素短語；（語法樹）最左邊的素短語為最左素短語。

形式語言里，規范推導是最右開始，則歸約是最左開始。
短語的特點是由非終結符而來。在算符優先分析里，短語是進行歸約的方向。它和常見的中文、英文里所說的短語概念有相似，也有不同。

『捌』 規約的編譯原理

推導的逆過程稱為規約。規約就是選擇一個文法規則：X→ABC,依次從棧頂彈出C、B、A，再將X壓進棧。規范規約是文法中句子的一個最右推導的逆過程，而最左推導對應的是最右規約 。
另外在程序設計中的規約：∏和∏'是兩個判定性問題,如果存在一個確定性演算法A使得對於一個∏的實例I,A可以將I在多項式時間里轉換成∏'的實例P,使得I得到肯定的回答,當且僅當I'得到肯定回答,則稱∏在多項式時間里規約到∏',記為∏∝poly∏'.

『玖』 關於編譯原理中的最右推導問題。題目如下：

大寫A應該是最右邊的非終結符號，S怎麼是最右非終結符號？最右推導是將最右邊的非終結符號替換

『拾』 編譯原理的最左推導和最右推導問題

最左推導：
S=> (L) =>(L,S)=>(S,S)=>(a,S)=>(a,(L))=>(a,(L,S))=>(a,(S,S))=>(a,((L),S))=>(a,((L,S),S))
=>(a,((S,S),S))=>(a,((a,S),S))=>(a,((a,a),S))=>(a,((a,a),(L)))=>(a,((a,a),(L,S)))
=>(a,((a,a),(S,S)))=>(a,((a,a),(a,S)))=>(a,((a,a),(a,a))) 共17步
最右推導
S=> (L) =>(L,S)=>(L,(L))=>(L,(L,S))=>(L,(L,(L)))=>(L,(L,(L,S)))=>(L,(L,(L,a)))=>(L,(L,(S,a)))
=>(L,(L,(a,a)))=>(L,(S,(a,a)))=>(L,((L),(a,a)))=>(L,((L,S),(a,a)))=>(L,((L,a),(a,a)))
=>(L,((S,a),(a,a)))=>(L,((a,a),(a,a)))=>(S,((a,a),(a,a)))=>(a,((a,a),(a,a)))