左遞歸消除編譯原理

『壹』 編譯原理：消除文法中的左遞歸

總得有個規則吧。如果不能提供，可以自己看看bison源代碼分析--gcc源代碼分析語法分析部分。

『貳』 編譯原理中的左遞歸

1.A->Aa
2.A->Ba
B->Ab (A和B屬於非終結符，a和b屬於終結符)

通俗點講：左遞歸就是情況1所說的「->」兩邊都含有同一個非終結符；
情況2所說的A->Ba中「->」後面的B 與 B->Ab中「->」前面的B是相同的非終結符
這兩種情況就叫作左遞歸。

『叄』 編譯原理語法分析中消除左遞歸的問題。比如A→Ab|c中為什麼說它是左遞歸呢，明明是A定義為Ab或者

A->Ab|c為什麼是左遞歸，和為什麼要消除左遞歸：

定義，就無需爭辯了。至於為什麼自頂向下文法不能處理左遞歸,解釋如下：

c∈FIRST(A)，所以當預測分析的棧頂出現非終結符A，而輸入字元串最左邊為c時，就不知道用產生式A->Ab還是A->c了。無法構造預測分析表。比如輸入字元串為cbb，我們人當然容易知道是A->Ab->Abb->cbb了，但是電腦沒那麼聰明，如果不消除左遞歸，只有回溯了。

『肆』 編譯原理題 語法分析首先要求消除左遞歸嗎

是的!

『伍』 編譯原理 清除左遞歸

先提公因子

『陸』 編譯原理題：消除以下文法的公共左因子和左遞歸

自己想的，不敢保證對錯，若有紕漏，還請高手指教：
A->bAA'|aB
A'->bB|Bb
B->abB'|baB'
B'->aAB'|ε

『柒』 編譯原理左遞歸消除

這些題很難啊！！！
都有間接左遞歸。要先變成直接左遞歸，然後消除掉。
--------------------
G3.1
S->SA|Ab|b|c
A->Bc|a
B->Sb|b
--------------------
間接左遞歸轉直接左遞歸
B代入A：A ->(Sb|b)c|a -> Sbc|bc|a
A代入S：S -> S(Sbc|bc|a)|(Sbc|bc|a)b|b|c -> SSbc|Sbc|Sa|Sbcb|bcb|ab|b|c
消除直接左遞歸
S->bcbS'|abS'|bS'|cS'
S'->SbcS'|bcS'|aS'|bcbS'|ε
S'還是有直接左遞歸，繼續消除
S'->bcS'T|aS'T|bcbS'T
T->bcS'T|ε
最後，這題答案就是S,S',T的產生式

--------------------
下面兩題更難了，上一題反復代入還能把其他非終結符消掉，下面兩個文法都是最後代入還剩下兩個非終結符反復迭代，佛了！
G3.2
E->ET+|T

T->TF*|F

F->E|i
--------------------
F代入T: T->T(E|i)*|(E|i)->TE*|Ti*|E|i
T代入E：

--------------------
G3.3
S->V_1

V_1->V_2|V_1 2 V_2

V_2->V_3|V_2 + V_3
V_3->V_1 * |(
這些字母我都不認識了，換一下
S->A|SiA
A->B|A+B
B->S*|(
--------------------
B代入A：A->(S*|()|A+(S*|()->S*|(|A+S*|A+(
A代入S：

--------------------

『捌』 【編譯原理】自頂向下LL（1）分析中，消除左遞歸和提取左因子的目的是什麼

提取左因子---避免程序回溯；
消除左遞歸---消除死循環。

『玖』 編譯原理的消除左遞歸是怎麼回事啊

如果一個CFG像這樣
A -> Ab
A -> e

就是有左遞歸，語法分析里的遞歸下降法和LL（1）就不能處理啦，因為程序會陷入遞歸而無法前進。
而CFG
A -> bA'
A' -> bA'|e
和前面一個表達的語言是一樣的，但所有語法的第一項都是終結符，就消除了左遞歸。

有消除左遞歸的演算法，一般編譯原理書上會有介紹，不是很復雜。

『拾』 編譯原理，如何消除文法的左遞歸

T::=ST'

T'::=,ST'|ε