編譯原理文法例題

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

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

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

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

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

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

❷ 編譯原理題：分別構造下列語言的文法（4個題） 200分獻上。。。

（3）任何不是以0打頭的所有奇整數所組成的集合

解：G(S)
=
({S,A,B,I,J},{-,0,1,2,3,4,5,6,7,8,9},{S→J|IBJ,B→0B|IB|e,
I→J|2|4|6|8,
Jà1|3|5|7|9},S)
（4）所有偶數個0和偶數個1所組成的符號串集合

解：對應文法為
S→0A|1B|e，A→0S|1C
B→0C|1S
C→1A|0B

❸ 請教幾個有關編譯原理的習題！

答:
一
1. S -> aS | ε
2. S -> aS | Sb | ab
二
設 有字元串序列 abc, 而字元串 abc 符合是文法S.
abc 有兩種推導 ① S -> Ac, A -> bc
② S -> aB, B -> bc
有兩語法樹,二義文法
三
不好意思忘記了短語、直接短語和句柄
課本上應該有

❹ 關於LL(1)文法的編譯原理題目

判斷是不是LL(1)，首先看候選式的首字元有沒有相同的，第二判斷首字元迭代進去是否會構成左遞歸。
如果首字元不相同，也沒用左遞歸就說明此文法是LL(1)
M→MaH｜H
H→(M)｜b(M)｜b
第一個產生式中存在左遞歸:M->MaH
第二個產生式中存在首字元相同:H->b(M) ,
H->b
怎麼改呢？
對第一個產生式，消除左遞歸就是要變成右遞歸，把右邊剩下的符號提到前面:
M->aHM'

M'->aHM'
對第二個產生式，提出公共因子
H->b( (M)|ε)
=>
H->bH'

H'->(M)|ε

❺ 編譯原理一道題.有文法G（S）1、 S→（L）2、 S→ aS3、 S→ a4、...

我們也正在學編譯原理,第一題不會,第二題：
先構造語法樹,沒法畫出來,所有短語：a、（a)、S、S,(a)、（S,(a)）
直接短語：a、S
句柄：a
LPP我不知道是什麼

❻ 編譯原理題目

明天寫了給你吧。這實在略多了點

❼ 編譯原理 文法題目

首先擴展文法為：
1) S1->S
2) S->aS
3) S->bS
4) S->a
則：
I0 = Closure({S1->.S})={S1->.S,S->.aS,S->.bS,S->.a}
go(I0,S) = Closure({S1->S.})={S1->S.} = I1
go(I0,a) = Closure({S->a.S,S->a.})={S->a.S,S->.aS,S->.bS,S->.a,S->a.} = I2
go(I0,b) = Closure({S->b.S})={S->b.S,S->.aS,S->.bS,S->.a}=I3
go(I2,S) = closure({S->aS.})={S->aS.}=I4
go(I2,a) = Closure({S->a.S,S->a.}) = I2
go(I2,b) = Closure({S->b.S}) =I3
go(I3,S) = Closure({S->bS.}) = {S->bS.} = I5
go(I3,a) = Closure({S->a.S,S->a.}) = I2
go(I3,b) = Closure({S->b.S}) = I3

由圖所示，狀態I2,既有歸約項目(S->a.)又有移近項目(S->.aS,S->.bS,S->.a)，產生沖突。當用SRL分析法時，需向前看一步，即求出：
Follow(S) = Follow(S1) = {#}
則，Follow(S)∩{a,b} =∮
故而Action(I2,a) = s2
Action(I2,b) = s3
Action(I2,#) = r4

則構造出srl分析表如下所示：
Action Goto
a b # S
I0 s2 s3 1
I1 acc
I2 s2 s3 r4 4
I3 s2 s3 5
I4 r2 r2 r2
I5 r3 r3 r3

請採納。

❽ 編譯原理文法題

DFA

如果能幫上你，望採納！

❾ 編譯原理 有文法G（S）這道題怎麼做

首先擴展文法為：

1)S1->S

2)S->aS

3)S->bS

4)S->a

則：

I0=Closure({S1->.S})={S1->.S,S->.aS,S->.bS,S->.a}

go(I0,S)=Closure({S1->S.})={S1->S.}=I1

go(I0,a)=Closure({S->a.S,S->a.})={S->a.S,S->.aS,S->.bS,S->.a,S->a.}=I2

go(I0,b)=Closure({S->b.S})={S->b.S,S->.aS,S->.bS,S->.a}=I3

go(I2,S)=closure({S->aS.})={S->aS.}=I4

go(I2,a)=Closure({S->a.S,S->a.})=I2

go(I2,b)=Closure({S->b.S})=I3

go(I3,S)=Closure({S->bS.})={S->bS.}=I5

go(I3,a)=Closure({S->a.S,S->a.})=I2

go(I3,b)=Closure({S->b.S})=I3

由圖所示，狀態I2,既有歸約項目(S->a.)又有移近項目(S->.aS,S->.bS,S->.a)，產生沖突。當用SRL分析法時，需向前看一步，即求出：

Follow(S)=Follow(S1)={#}

則，Follow(S)∩{a,b}=∮

故而Action(I2,a)=s2

Action(I2,b)=s3

Action(I2,#)=r4

則構造出srl分析表如下所示：

ActionGoto

ab# S

I0 s2s3 1

I1 acc

I2s2s3 r4 4

I3s2s3 5

I4 r2r2r2

I5 r3r3 r3

❿ 編譯原理文法題 求解

一看就是計科的 …………
我們都是 LL1 SLR1文法沒怎麼用過
進來問候下
有空加個好友 討論下