編譯原理證明文法的一個句子

① 在編譯原理中： 文法S——>SS+|SS*|a能產生什麼語言，並驗證！ 求高人指導！

為了使問題簡化，我們考慮文法S->ss+|a，考慮s->ss*時，只要把+換成*即可。
0層遞歸是，s->a,文法的語言是{a}。是後綴表達式。
1層以內遞歸時，文法語言是{a,aa+}。是後綴表達式。
2層以內遞歸時，文法語言是{a,aa+}.{a,aa+}.{+}。其中.表示連接，是後綴表達式。
依此類推，多少層的遞歸都是後綴表達式。
把表達式的+換成*後依然為後綴表達式。
下面證明文法產生的語言是所有的以a為變數，以+和*為運算符的後綴表達式。
因為每個表達式都對應一個常規的表達式（如1*2+3就是常規表達式），下面只需證明語言能產生的後綴表達式對應所有的常規表達式。當常規表達式只有一個運算符，對應aa+或aa*。當常規表達式有兩個運算符，可寫成(表達式1）.{+|*}.(表達式2），因為表達式1和2都只含一個運算符，所以可以用語言表示，上述常規表達式可用後綴表達式（表達式1）.（表達式2）.{+l*}表示。所以不管常規表達式有多少個運算符，都可以由語言的後綴表達式對應。

② 編譯原理：證明下面文法G【s】是二義性的

證明：

若文法中存在這樣的句型，它具有兩棵不同的語法樹，則稱該文法是二義性文法，二義性文法會引起歧義，應盡量避免。

（S + S）和（S * S）以及（i S * S）和（S + S i）都可以表示i+i*i，所以G(S)：S -> S+S| S*S | (S) | i ；文法具有二義性。

③ 編譯原理實現判斷是不是一個文法的句子

構造LL(1)語法分析程序，任意輸入一個文法符號串，並判斷它是否為文法的一個句子。程序要求為該文法構造預測分析表，並按照預測分析演算法對輸入串進行語法分析，判別程序是否符合已知的語法規則，如果不符合（編譯出錯），則輸出錯誤信息。

④ 編譯原理，證明下面文法G（s）是二義性的。

證明：

若文法中存在這樣的句型，它具有兩棵不同的語法樹，則稱該文法是二義性文法，二義性文法會引起歧義，應盡量避免。

（S + S）和（S * S）以及（i S * S）和（S + S i）都可以表示i+i*i，所以G(S)：S -> S+S| S*S | (S) | i ；文法具有二義性。

⑤ 求解編譯原理的一道題:設有文法如下

首先要做這題你要知道判別文法類型
包括四個層次：

0-型文法（無限制文法或短語結構文法）包括所有的文法。該類型的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞歸可枚舉語言。注意遞歸可枚舉語言與遞歸語言的區別，後者是前者的一個真子集，是能夠被一個總停機的圖靈機判定的語言。
1-型文法（上下文相關文法）生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這里的A 是非終結符號，而 α, β 和 γ 是包含非終結符號與終結符號的字串；α, β 可以是空串，但 γ 必須不能是空串；這種文法也可以包含規則 S->ε ，但此時文法的任何產生式規則都不能在右側包含 S 。這種文法規定的語言可以被線性有界非確定圖靈機接受。
2-型文法生成上下文無關語言。這種文法的產生式規則取如 A -> γ 一樣的形式。這里的A 是非終結符號，γ 是包含非終結符號與終結符號的字串。這種文法規定的語言可以被非確定下推自動機接受。上下文無關語言為大多數程序設計語言的語法提供了理論基礎。
3-型文法（正規文法）生成正規語言。這種文法要求產生式的左側只能包含一個非終結符號，產生式的右側只能是空串、一個終結符號或者一個非終結符號後隨一個終結符號；如果所有產生式的右側都不含初始符號 S ，規則 S -> ε 也允許出現。這種文法規定的語言可以被有限狀態自動機接受，也可以通過正則表達式來獲得。正規語言通常用來定義檢索模式或者程序設計語言中的詞法結構。
正規語言類包含於上下文無關語言類，上下文無關語言類包含於上下文相關語言類，上下文相關語言類包含於遞歸可枚舉語言類。這里的包含都是集合的真包含關系，也就是說：存在遞歸可枚舉語言不屬於上下文相關語言類，存在上下文相關語言不屬於上下文無關語言類，存在上下文無關語言不屬於正規語言類。

1）本題應該是--上下文無關文法

句子是產生式在推導時「僅僅有終結符」的任何一步
2）%mm%nn 是一個句子

由於下面一題的圖我等級不夠 不能貼圖 發你郵箱

⑥ 編譯原理的文法

「文法是以有窮的集合刻畫無窮的集合的一個工具」，有窮的集合應該是已經出現的，人們普遍接受的詞、片語或句子，無窮的集合就是有窮的集合的詞、片語或句子，創造新的集合過程和結果，有待進一步認識接受。
我們的文法規定內涵是已經明確定義的和正在定義（聲明）的內容。反映到計算機語言程序中就是編程時已經定義的和正在定義（聲明）的字元或字元串。文法可以以表的形式，或詞典形式存放。

⑦ 編譯原理 文法二義性 語法樹

標准答案，請給分！

⑧ 編譯原理課程設計：證明一個文法是LR(0)文法 求大神幫忙啊

這個很簡單呀，如果一個項目集中不存在既含移進項目又含規約項目或者含有多個規約項目的情況，則該文發是一個LR(0)文法。多以就是要先構造你面臨的項目的項目集。然後逐個檢查項目集中的各個項目。有不會的繼續追問。