編譯原理實驗分析子程序

『壹』 編譯原理全部的名詞解釋

書上有別那麼懶！。。。。
編譯過程的六個階段：詞法分析，語法分析，語義分析，中間代碼生成，代碼優化，目標代碼生成
解釋程序：把某種語言的源程序轉換成等價的另一種語言程序——目標語言程序，然後再執行目標程序。解釋方式是接受某高級語言的一個語句輸入，進行解釋並控制計算機執行，馬上得到這句的執行結果，然後再接受下一句。
編譯程序：就是指這樣一種程序，通過它能夠將用高級語言編寫的源程序轉換成與之在邏輯上等價的低級語言形式的目標程序(機器語言程序或匯編語言程序)。
解釋程序和編譯程序的根本區別：是否生成目標代碼
句子的二義性（這里的二義性是指語法結構上的。）:文法G[S]的一個句子如果能找到兩種不同的最左推導(或最右推導)，或者存在兩棵不同的語法樹，則稱這個句子是二義性的。
文法的二義性:一個文法如果包含二義性的句子，則這個文法是二義文法，否則是無二義文法。
LL(1)的含義：(LL(1)文法是無二義的； LL(1)文法不含左遞歸)
第1個L：從左到右掃描輸入串 第2個L：生成的是最左推導
1 ：向右看1個輸入符號便可決定選擇哪個產生式
某些非LL(1)文法到LL(1)文法的等價變換: 1. 提取公因子 2. 消除左遞歸
文法符號的屬性:單詞的含義，即與文法符號相關的一些信息。如，類型、值、存儲地址等。
一個屬性文法(attribute grammar)是一個三元組A=(G, V, F)
G：上下文無關文法。
V：屬性的有窮集。每個屬性與文法的一個終結符或非終結符相連。屬性與變數一樣，可以進行計算和傳遞。
F：關於屬性的斷言或謂詞(一組屬性的計算規則)的有窮集。斷言或語義規則與一個產生式相聯，只引用該產生式左端或右端的終結符或非終結符相聯的屬性。
綜合屬性:若產生式左部的單非終結符A的屬性值由右部各非終結符的屬性值決定,則A的屬性稱為綜合屬
繼承屬性:若產生式右部符號B的屬性值是根據左部非終結符的屬性值或者右部其它符號的屬性值決定的,則B的屬性為繼承屬性。
(1)非終結符既可有綜合屬性也可有繼承屬性，但文法開始符號沒有繼承屬性。
(2) 終結符只有綜合屬性，沒有繼承屬性，它們由詞法程序提供。
在計算時： 綜合屬性沿屬性語法樹向上傳遞；繼承屬性沿屬性語法樹向下傳遞。
語法制導翻譯：是指在語法分析過程中，完成附加在所使用的產生式上的語義規則描述的動作。
語法制導翻譯實現：對單詞符號串進行語法分析，構造語法分析樹，然後根據需要構造屬性依賴圖，遍歷語法樹並在語法樹的各結點處按語義規則進行計算。
中間代碼（中間語言）
1、是復雜性介於源程序語言和機器語言的一種表示形式。
2、一般，快速編譯程序直接生成目標代碼。
3、為了使編譯程序結構在邏輯上更為簡單明確，常採用中間代碼，這樣可以將與機器相關的某些實現細節置於代碼生成階段仔細處理，並且可以在中間代碼一級進行優化工作，使得代碼優化比較容易實現。
何謂中間代碼：源程序的一種內部表示，不依賴目標機的結構，易於代碼的機械生成。
為何要轉換成中間代碼:(1)邏輯結構清楚；利於不同目標機上實現同一種語言。
(2)便於移植，便於修改，便於進行與機器無關的優化。
中間代碼的幾種形式：逆波蘭記號 ，三元式和樹形表示 ，四元式
符號表的一般形式：一張符號表的的組成包括兩項，即名字欄和信息欄。
信息欄包含許多子欄和標志位，用來記錄相應名字和種種不同屬性，名字欄也稱主欄。主欄的內容稱為關鍵字（key word）。
符號表的功能：（1）收集符號屬性 (2) 上下文語義的合法性檢查的依據： 檢查標識符屬性在上下文中的一致性和合法性。(3)作為目標代碼生成階段地址分配的依據
符號的主要屬性及作用：
1. 符號名 2. 符號的類型 （整型、實型、字元串型等））3. 符號的存儲類別（公共、私有）
4. 符號的作用域及可視性 （全局、局部） 5. 符號變數的存儲分配信息 （靜態存儲區、動態存儲區）
存儲分配方案策略：靜態存儲分配；動態存儲分配：棧式、 堆式。
靜態存儲分配
1、基本策略
在編譯時就安排好目標程序運行時的全部數據空間，並能確定每個數據項的單元地址。
2、適用的分配對象：子程序的目標代碼段；全局數據目標（全局變數）
3、靜態存儲分配的要求：不允許遞歸調用，不含有可變數組。
FORTRAN程序是段結構，不允許遞歸，數據名大小、性質固定。 是典型的靜態分配
動態存儲分配
1、如果一個程序設計語言允許遞歸過程、可變數組或允許用戶自由申請和釋放空間，那麼，就需要採用動態存儲管理技術。
2、兩種動態存儲分配方式：棧式，堆式
棧式動態存儲分配
分配策略：將整個程序的數據空間設計為一個棧。
【例】在具有遞歸結構的語言程序中，每當調用一個過程時，它所需的數據空間就分配在棧頂，每當過程工作結束時就釋放這部分空間。
過程所需的數據空間包括兩部分
一部分是生存期在本過程這次活動中的數據對象。如局部變數、參數單元、臨時變數等；
另一部分則是用以管理過程活動的記錄信息(連接數據)。
活動記錄（AR）
一個過程的一次執行所需要的信息使用一個連續的存儲區來管理，這個區 (塊)叫做一個活動記錄。
構成
1、臨時工作單元；2、局部變數；3、機器狀態信息；4、存取鏈；
5、控制鏈；6、實參；7、返回地址
什麼是代碼優化
所謂優化，就是對代碼進行等價變換，使得變換後的代碼運行結果與變換前代碼運行結果相同，而運行速度加快或佔用存儲空間減少。
優化原則：等價原則：經過優化後不應改變程序運行的結果。
有效原則：使優化後所產生的目標代碼運行時間較短，佔用的存儲空間較小。
合算原則：以盡可能低的代價取得較好的優化效果。
常見的優化技術
(1) 刪除多餘運算(刪除公共子表達式) (2) 代碼外提 +刪除歸納變數+ (3)強度削弱; (4)變換循環控制條件 (5)合並已知量與復寫傳播 (6)刪除無用賦值
基本塊定義
程序中只有一個入口和一個出口的一段順序執行的語句序列，稱為程序的一個基本塊。

給我分數啊。。。

『貳』 編譯原理試題

習題一、單項選擇題
1、將編譯程序分成若干個「遍」是為了 。
a．提高程序的執行效率
b．使程序的結構更加清晰
c．利用有限的機器內存並提高機器的執行效率
d．利用有限的機器內存但降低了機器的執行效率
2、構造編譯程序應掌握 。
a．源程序 b．目標語言
c．編譯方法 d．以上三項都是
3、變數應當 。
a．持有左值 b．持有右值
c．既持有左值又持有右值 d．既不持有左值也不持有右值
4、編譯程序絕大多數時間花在 上。
a．出錯處理 b．詞法分析
c．目標代碼生成 d．管理表格
5、 不可能是目標代碼。
a．匯編指令代碼 b．可重定位指令代碼
c．絕對指令代碼 d．中間代碼
6、使用 可以定義一個程序的意義。
a．語義規則 b．詞法規則
c．產生規則 d．詞法規則
7、詞法分析器的輸入是 。
a．單詞符號串 b．源程序
c．語法單位 d．目標程序
8、中間代碼生成時所遵循的是- 。
a．語法規則 b．詞法規則
c．語義規則 d．等價變換規則
9、編譯程序是對 。
a．匯編程序的翻譯 b．高級語言程序的解釋執行
c．機器語言的執行 d．高級語言的翻譯
10、語法分析應遵循 。
a．語義規則 b．語法規則
c．構詞規則 d．等價變換規則
解答
1、將編譯程序分成若干個「遍」是為了使編譯程序的結構更加清晰，故選b。
2、構造編譯程序應掌握源程序、目標語言及編譯方法等三方面的知識，故選d。
3、對編譯而言，變數既持有左值又持有右值，故選c。
4、編譯程序打交道最多的就是各種表格，因此選d。
5、目標代碼包括匯編指令代碼、可重定位指令代碼和絕對指令代碼3種，因此不是目標代碼的只能選d。
6、詞法分析遵循的是構詞規則，語法分析遵循的是語法規則，中間代碼生成遵循的是語義規則，並且語義規則可以定義一個程序的意義。因此選a。
7、b 8、c 9、d 10、c
二、多項選擇題
1、編譯程序各階段的工作都涉及到 。
a．語法分析 b．表格管理 c．出錯處理
d．語義分析 e．詞法分析
2、編譯程序工作時，通常有 階段。
a．詞法分析 b．語法分析 c．中間代碼生成
d．語義檢查 e．目標代碼生成
解答
1．b、c 2. a、b、c、e
三、填空題
1、解釋程序和編譯程序的區別在於 。
2、編譯過程通常可分為5個階段，分別是 、語法分析 、代碼優化和目標代碼生成。 3、編譯程序工作過程中，第一段輸入是 ，最後階段的輸出為 程序。
4、編譯程序是指將 程序翻譯成 程序的程序。 解答
是否生成目標程序 2、詞法分析 中間代碼生成 3、源程序 目標代碼生成 4、源程序 目標語言
一、單項選擇題
1、文法G：S→xSx|y所識別的語言是 。
a. xyx b. (xyx)* c. xnyxn(n≥0) d. x*yx*
2、文法G描述的語言L(G)是指 。
a. L(G)={α|S+ ⇒α , α∈VT*} b. L(G)={α|S*⇒α, α∈VT*}
c. L(G)={α|S*⇒α,α∈(VT∪VN*)} d. L(G)={α|S+ ⇒α, α∈(VT∪VN*)}
3、有限狀態自動機能識別 。
a. 上下文無關文法 b. 上下文有關文法
c.正規文法 d. 短語文法
4、設G為算符優先文法，G的任意終結符對a、b有以下關系成立 。
a. 若f(a)>g(b)，則a>b b.若f(a)<g(b)，則a<b
c. a~b都不一定成立 d. a~b一定成立
5、如果文法G是無二義的，則它的任何句子α 。
a. 最左推導和最右推導對應的語法樹必定相同
b. 最左推導和最右推導對應的語法樹可能不同
c. 最左推導和最右推導必定相同
d. 可能存在兩個不同的最左推導，但它們對應的語法樹相同
6、由文法的開始符經0步或多步推導產生的文法符號序列是 。
a. 短語 b.句柄 c. 句型 d. 句子
7、文法G：E→E+T|T
T→T*P|P
P→(E)|I
則句型P+T+i的句柄和最左素短語為 。
a.P+T和i b. P和P+T c. i和P+T+i d.P和T
8、設文法為：S→SA|A
A→a|b
則對句子aba，下面 是規范推導。
a. SÞSAÞSAAÞAAAÞaAAÞabAÞaba
b. SÞSAÞSAAÞAAAÞAAaÞAbaÞaba
c. SÞSAÞSAAÞSAaÞSbaÞAbaÞaba
d. SÞSAÞSaÞSAaÞSbaÞAbaÞaba
9、文法G：S→b|∧(T)
T→T,S|S
則FIRSTVT(T) 。
a. {b,∧,(} b. {b,∧,)} c.{b,∧,(,，} d.{b,∧,),，}
10、產生正規語言的文法為 。
a. 0型 b. 1型 c. 2型 d. 3型
11、採用自上而下分析，必須 。
a. 消除左遞歸 b. 消除右遞歸 c. 消除回溯 d. 提取公共左因子
12、在規范歸約中，用 來刻畫可歸約串。
a. 直接短語 b. 句柄 c. 最左素短語 d. 素短語
13、有文法G：E→E*T|T
T→T+i|i
句子1+2*8+6按該文法G歸約，其值為 。
a. 23 B. 42 c. 30 d. 17
14、規范歸約指 。
a. 最左推導的逆過程 b. 最右推導的逆過程
c. 規范推導 d. 最左歸約的逆過程
[解答]
1、選c。
2、選a。
3、選c。
4、雖然a與b沒有優先關系，但構造優先函數後，a與b就一定存在優先關系了。所以，由f(a)>g)(b)或f(a)<g(b)並不能判定原來的a與b之間是否存在優先關系：故選c。
5、如果文法G無二義性，則最左推導是先生長右邊的枝葉：對於d，如果有兩個不同的是了左推導，則必然有二義性。故選a。
6、選c。
7、由圖2-8-1的語法樹和優先關系可以看出應選b。

8、規范推導是最左推導，故選d。
9、由T→T,…和T→(… 得FIRSTVT(T))={(,，)}；
由T→S得FIRSTVT(S)⊂FIRSTVT(T)，而FIRSTVT(S)={b,∧,(}；即
FIRSTVT(T)={b,∧,(,，}； 因此選c。
10、d 11、c 12、b 13、b 14、b
二、多項選擇題
1、下面哪些說法是錯誤的 。
a. 有向圖是一個狀態轉換圖 b. 狀態轉換圖是一個有向圖
c.有向圖是一個DFA d.DFA可以用狀態轉換圖表示
2、對無二義性文法來說，一棵語法樹往往代表了 。
a. 多種推導過程 b. 多種最左推導過程 c.一種最左推導過程
d.僅一種推導過程 e.一種最左推導過程
3、如果文法G存在一個句子，滿足下列條件 之一時，則稱該文法是二義文法。
a. 該句子的最左推導與最右推導相同
b. 該句子有兩個不同的最左推導
c. 該句子有兩棵不同的最右推導
d. 該句子有兩棵不同的語法樹
e.該句子的語法樹只有一個
4、有一文法G：S→AB
A→aAb|ε
B→cBd|ε
它不產生下面 集合。
a. {anbmcndm|n,m≥0} b. {anbncmdm|n,m>0}
c. {anbmcmdn|n,m≥0} d. {anbncmdm|n,m≥0}
e. {anbncndn|n≥0}
5、自下而上的語法分析中，應從 開始分析。
a. 句型 b. 句子 c. 以單詞為單位的程序
d. 文法的開始符 e. 句柄
6、對正規文法描述的語言，以下 有能力描述它。
a.0型文法 b.1型文法 c.上下文無關文法 d.右線性文法 e.左線性文法
解答 1、e、a、c 2、a、c、e 3、b、c、d 4、a、c 5、b、c 6、a、b、c、d、e
三、填空題
1、文法中的終結符和非終結符的交集是 。詞法分析器交給語法分析器的文法符號一定是 ，它一定只出現在產生式的 部。
2、最左推導是指每次都對句型中的 非終結符進行擴展。
3、在語法分析中，最常見的兩種方法一定是 分析法，另一是 分析法。
4、採用 語法分析時，必須消除文法的左遞歸。
5、 樹代表推導過程， 樹代表歸約過程。
6、自下而上分析法採用 、歸約、錯誤處理、 等四種操作。
7、Chomsky把文法分為 種類型，編譯器構造中採用 和 文法，它們分別產生 和 語言，並分別用 和 自動機識別所產生的語言。
解答 1、空集 終結符 右
2、最左
3、自上而上 自下而上
4、自上而上
5、語法 分析
6、移進 接受
7、4 2 型 3型 上下文無關語言 正規語言 下推自動機 有限
四、判斷題
1、文法 S→aS|bR|ε描述的語言是(a|bc)* ( )
R→cS
2、在自下而上的語法分析中，語法樹與分析樹一定相同。 （ ）
3、二義文法不是上下文無關文法。 （ ）
4、語法分析時必須先消除文法中的左遞歸。 （ ）
5、規范歸約和規范推導是互逆的兩個過程。 （ ）
6、一個文法所有句型的集合形成該文法所能接受的語言。 （ ）
解答 1、對 2、錯 3、錯 4、錯 5、錯 6、錯
五、簡答題
1、句柄 2、素短語 3、語法樹 4、歸約 5、推導
[解答]
1、句柄：一個句型的最左直接短語稱為該句型的句柄。
2、素短語：至少含有一個終結符的素短語，並且除它自身之外不再含任何更小的素短語。
3、語法樹：滿足下面4個條件的樹稱之為文法G[S]的一棵語法樹。
①每一終結均有一標記，此標記為VN∪VT中的一個符號；
②樹的根結點以文法G[S]的開始符S標記；
③若一結點至少有一個直接後繼，則此結點上的標記為VN中的一個符號；
④若一個以A為標記的結點有K個直接後繼，且按從左至右的順序，這些結點的標記分別為X1,X2,…,XK，則A→X1,X2,…,XK，必然是G的一個產生式。
4、歸約：我們稱αγβ直接歸約出αAβ，僅當A→γ 是一個產生式，且α、β∈(VN∪VT)*。歸約過程就是從輸入串開始，反復用產生式右部的符號替換成產生式左部符號，直至文法開始符。
5、推導：我們稱αAβ直接推出αγβ，即αAβÞαγβ，僅當A→ γ 是一個產生式，且α、β∈(VN∪VT)*。如果α1Þα2Þ…Þαn，則我們稱這個序列是從α1至α2的一個推導。若存在一個從α1αn的推導，則稱α1可推導出αn。推導是歸約的逆過程。
六、問答題
1、給出上下文無關文法的定義。
[解答]
一個上下文無關文法G是一個四元式（VT,VN,S, P），其中：
●VT是一個非空有限集，它的每個元素稱為終結符號；
●VN是一個非空有限集，它的每個元素稱為非終結符號，VT∩VN=Φ；
●S是一個非終結符號，稱為開始符號；
●P是一個產生式集合（有限），每個產生式的形式是P→α，其中，P∈VN，
α∈(VT∪VN)*。開始符號S至少必須在某個產生式的左部出現一次。
2、文法G[S]：
S→aSPQ|abQ
QP→PQ
bP→bb
bQ→bc
cQ→cc
（1）它是Chomsky哪一型文法？
（2）它生成的語言是什麼？
[解答]
（1）由於產生式左部存在終結符號，且所有產生式左部符號的長度均小於等於產生式右部的符號長度，所以文法G[S]是Chomsky1型文法，即上下文有關文法。
（2）按產生式出現的順序規定優先順序由高到低（否則無法推出句子），我們可以得到：
SÞabQÞabc
SÞaSPQÞaabQPQÞaabPQQÞaabbQQÞaabbcQÞaabbcc
SÞaSPQÞaaSPQPQÞaaabQPQPQÞaaabPQQPQÞaaabPQPQQÞaaaPPQQQÞ
aaabbPqqqÞaaabbQQQÞaaabbbcQQÞaaabbbccQÞaaabbbccc
……
於是得到文法G[S]生成的語言L={anbncn|n≥1}
3、按指定類型，給出語言的文法。
L={aibj|j＞i≥1}的上下文無關文法。
【解答】
（1）由L={aibj|j＞i≥1}知，所求該語言對應的上下文無關文法首先應有S→aSb型產生式，以保證b的個數不少於a的個數；其次，還需有S→Sb或S→bS型的產生式，用以保證b的個數多於a的個數；也即所求上下文無關文法G[S]為：
G[S]：S→aSb|Sb|b
4、有文法G：S→aAcB|Bd
A→AaB|c
B→bScA|b
（1）試求句型aAaBcbbdcc和aAcbBdcc的句柄；
（2）寫出句子acabcbbdcc的最左推導過程。
【解答】（1）分別畫出對應兩句型的語法樹，如圖2-8-2所示
句柄:AaB Bd

圖2-8-2 語法樹
（2）句子acabcbbdcc的最左推導如下：
SÞaAcBÞaAaBcBÞacaBcBÞacabcBÞacabcbScAÞacabcbBdcA
ÞacabcbbdcAÞacabcbbdcc
5、對於文法G[S]：
S→（L）|aS|a L→L, S|S
（1）畫出句型（S,（a））的語法樹。（2）寫出上述句型的所有短語、直接短語、句柄和素短語。
【解答】
（1）句型（S,（a））的語法樹如圖2-8-3所示

（2）由圖2-8-3可知：
①短語：S、a、(a)、S,(a)、(S,(a))；
②直接短語：a、S；
③句柄：S；
④素短語：素短語可由圖2-8-3中相鄰終結符之間的優先關系求得，即；

因此素短語為a。
6、考慮文法G[T]：
T→T*F|F
F→F↑P|P
P→（T）|i
證明T*P↑（T*F）是該文法的一個句型，並指出直接短語和句柄。
【解答】
首先構造T*P↑（T*F）的語法樹如圖2-8-4所示。

由圖2-8-4可知，T*P↑（T*F）是文法G[T]的一個句型。
直接短語有兩個，即P和T*F；句柄為P。

一、單項選擇題
1、詞法分析所依據的是 。
a. 語義規則 b. 構詞規則 c. 語法規則 d. 等價變換規則
2、詞法分析器的輸出結果是 。
a. 單詞的種別編碼 b. 單詞在符號表中的位置
c. 單詞的種別編碼和自身值 d. 單詞自身值
3、正規式M1和M2等價是指 。
a. M1和M2的狀態數相等 b. M1和M2的有向弧條數相等
c. M1和M2所識別的語言集相等 d. M1和M2狀態數和有向弧條數相等
4、狀態轉換圖（見圖3-6-1）接受的字集為 。

a. 以 0開頭的二進制數組成的集合 b. 以0結尾的二進制數組成的集合
c. 含奇數個0的二進制數組成的集合 d. 含偶數個0的二進制數組成的集合
5、詞法分析器作為獨立的階段使整個編譯程序結構更加簡潔、明確，因此， 。
a. 詞法分析器應作為獨立的一遍 b. 詞法分析器作為子程序較好
c. 詞法分析器分解為多個過程，由語法分析器選擇使用 d. 詞法分析器並不作為一個獨立的階段
解答 1、b 2、c 3、c 4、d 5、b
二、多項選擇題
1、在詞法分析中，能識別出 。
a. 基本字 b. 四元式 c. 運算符
d. 逆波蘭式 e. 常數
2、令∑={a,b}，則∑上所有以b開頭，後跟若干個ab的字的全體對應的正規式為 。
a. b(ab)* b. b(ab)+ c.(ba)*b
d. (ba)+b e. b(a|b)
解答 1、a、c、e 2、a、b、d
三、填空題
1、確定有限自動機DFA是 的一個特例。
2、若二個正規式所表示的 相同，則認為二者是等價的。
3、一個字集是正規的，當且僅當它可由 所 。
解答 1、NFA 2、正規集 3、DFA（NFA）所識別
四、判斷題
1、一個有限狀態自動機中，有且僅有一個唯一終態。 （ ）
2、設r和s分別是正規式，則有L（r|s）=L(r)|L(s)。 （ ）
3、自動機M和M′的狀態數不同，則二者必不等價。 （ ）
4、確定的自動機以及不確定的自動機都能正確地識別正規集。 （ ）
5、對任意一個右線性文法G，都存在一個NFA M，滿足L(G)=L(M)。 （ ）
6、對任意一個右線性文法G，都存在一個DFA M，滿足L(G)=L(M)。 （ ）
7、對任何正規表達式e，都存在一個NFA M，滿足L(G)=L(e)。 （ ）
8、對任何正規表達式e，都存在一個DFA M，滿足L(G)=L(e)。 （ ）
解答 1 、2、3、錯 4、5、6、7、8、正確
五、基本題
1、設M＝（{x,y}, {a,b}, f,x,{y}）為一非確定的有限自動機，其中f定義如下：
f（x,a）＝{x,y} f（x,b）＝{y}
f（y,a）＝φ f（y,b）＝{x,y}
試構造相應的確定有限自動機M′。
解答：對照自動機的定義M=(S,Σ,f,S0,Z)，由f的定義可知f(x,a)、f(y,b)均為多值函數，所以是一非確定有限自動機，先畫出NFA M相應的狀態圖，如圖3-6-2所示。

用子集法構造狀態轉換矩陣表3-6-3所示。
I Ia Ib
{x} {x,y} {y}
{y} — {x,y}
{x,y} {x,y} {x,y}
將轉換矩陣中的所有子集重新命名而形成表3-6-4所示的狀態轉換矩陣。
表3-6-4 狀態轉換矩陣
a b
0 2 1
1 — 2
2 2 2
即得到M′=（{0,1,2}, {a,b}, f,0, {1,2}），其狀態轉換圖如圖3-6-5所示。

將圖3-6-5的DFA M′最小化。首先，將M′的狀態分成終態組{1，2}與非終態組{0}；其次，考察{1,2}。由於{1,2}a={1,2}b={2}⊂{1,2}，所以不再將其劃分了，也即整個劃分只有兩組{0}，{1,2}：令狀態1代表{1,2}，即把原來到達2的弧都導向1，並刪除狀態2。最後，得到如圖3-6-6所示化簡DFA M′。

2、對給定正規式b*（d|ad）（b|ab）+，構造其NFA M；
解答：首先用A+=AA*改造正規式得：b*(d|ad)(b|ab)(b|ab)*；其次，構造該正規式的NFA M，如圖3-6-7所示。

『叄』 學計算機專業要看哪些專業書

學計算機專業要看哪些專業書

計算機專業是一個大的門類，主要看你想學哪個專業方向。如果想學廣告設計方面，可以從平面設計photoshop開始學；如果想學網路技術方面，可以選擇一些網頁編輯、動畫方面的書緝；如果想學程序設計方面可以選java等方面書……
學習計算機讀哪些書有什麼用
1,高等數學:為了及格,同時幫助概率及格
2,概率:為了證明高等數學可以幫助及格
3,線性代數:如果你學習計算機圖形學,就是opengl/direct3d的話,裡面的3d模型的空間坐標用矩陣來表示的，如果你需要把它們進行投影，疊加，移動，就需要矩陣乘法／變換／轉置等等，所以還是很有用的
4，離散數學：主要是給你打下計算機數據模型的理論基礎。裡麵包含集合，數，圖，等等，更重要的是如果你以後要搞研究，研究0錯誤程序，就是完全沒有bug的程序，就需要用它上面的推導理論來對程序經行證明。如果你要通過系統分析員，這個也是要考試的
5，數字電路／計算機組成／計算機技術：如果你是一個很深入的程序員，你會問：為什麼瀏覽器可以顯示那麼多東西－>有語言->語言是怎麼開發的->高級語言->高級語言怎麼完成的->匯編->匯編怎麼來的－>固化／機器語言->機器語言如何能操縱計算機->在節拍電路的干預下，內部晶元的結構把0/1字元串解碼，操作累加器，匯流排，內存做不同的操作那好，這個過程差一個東西都不可以，如果你只學習裡面的高級語言部分，那豈不是神龍見首不見尾，感覺很不爽？？？所以你要能自己做一個計算機出來才好！
數字電路是學習門電路組成的，就是如何把流動的電信號保持下來，同時讓他們有規律地變化

計算機組成是讓你用門電路來設計內存／cup／時鍾等等

計算機技術是讓你綜合學到的東西，做一個簡單的計算機出來。

有了哪些知識，當然還要包括編譯原理，軟體工程，操作系統，資料庫，網路，你學習其他的語言，什麼vc/vb/deliphi等等，每種語言不超過3個月你就是高手。你要學windows程序，要用api，只需要15天就可以作出像模像樣的東西。當然，我這里是指語言本身而言。有了這些基礎和語言掌握的熟練，你想學資料庫編程，好，復習一下資料庫的課程，查閱一下sql的語法，1天就有眉目了。你要學網路編程，選擇一種庫，看看文檔，明白函數的用法，也就是一兩天的問題。等你做出點東西，有了信心，你也就有了經驗。這個時候去明白j2ee/. 等等的frame work，就很容易了。參看以下design pattern,你也就胸有成竹，做個小組長也可以。再過幾年，有了機會，說不定就當了manager，等了到了三十多歲，你不想干軟體了，你有計算機組成的基礎，找幾個高手帶你一下，你可以去做單片機的匯編語言編程，可以去做embeded system
所以，學好了基礎，也就是厚積薄發，後面你想怎麼發展都可以！

學了數字電路才知道，原來很神秘的電腦是由一些觸發器，邏輯門組成的，把它們集成再集成，就成了電腦了，解碼器，全加器，計數器......
CMOS不過就是一種存儲器，BIOS不過就是面向硬體的一種已編好的子程序，（和C的庫函數差不多，我認為）學好了匯編，我可以自己編（還讓我花了30人民幣，買了一本CMOS設置書，認為它很高深莫測）

不學好C，怎麼學好WINDOWS程序設計，怎麼能做一個優秀的程序設計人員
不學好前人花幾十年時間總結出來的數據結構，你的進步能有多快，那是讓你踩在巨人的肩膀上。（你要是天才，我就沒話說了，不過要是學了，你會更天才）

這是我自己經歷的一點學習基礎課的過程，它給我解疑釋惑，當然這些問題在行家眼裡可能不值一哂，但它是每一個新手必經的過程。
更為關鍵的是，基礎課給了我們最核心的知識，讓我們能在離開學校後有繼續學習的能力。它給了我們一個知識結構，讓我們能在他的基礎上擴充，把新的東西加入自己的知識框架中，這是基礎課重要的意義所在。很多人提到基礎學好之後，學習新東西很快，就是這個道理。
不可否認的是，基礎課很枯燥，很費勁。但這要看你怎麼去看它，你想一想，學好了他，就能抓到計算機的本質，能讓他對你俯首帖耳，這難道還不夠激動人心嗎？老在別人的基礎之上作設計，卻不懂所以然，不悶嗎？
既然討論的題目是給在校大學生一點建議，那我也說一點兒。

先說技術層面的，在學好專業課的基礎上看一些學校里不講的新知識，新技術，能促進你的融會貫通，但不可本末倒置。

再說最關鍵的，最想說的，請在校的學生們珍惜你的時光，不要都去打了游戲，談了戀愛，時光寶貴，機會難得。
我經常對自己說，如果再讓我上一次學，我會......
可是不會了，我只好對自己說，如果我現在再不學，就會......
於是我努力去學，邊工作，邊學習，捨不得丟掉一節課，在校的學生們可能無法體會聽老師講課的幸福，自學時怎麼也搞不清的東西，老師一句話就茅塞頓開，老師那清晰的思路也讓你受益匪淺（在這里應該感謝那些老師們，雖然他們有些時候的簡略很讓人惱火）。但越學，心裡越沒底，有太多的東西我都沒學好，更有很多東西根本就不知道，正所謂皓首窮經。
我不時的咒罵自己的懶惰，也許是過於愚笨，努力不夠，學習計算機也有三年多了，直到現在，我才覺得自己開始了解計算機，才明確了方向。
我從文科轉入這一專業，而且也不小了，就憑著我對計算機有著強烈的興趣。他是人類智慧的體現，程序設計更是一種藝術，他能讓我們的才華得到充分發揮，我會繼續努力下去的，雖然有些遲了，但為了不更遲。
希望在校的學生們能多珍惜一些時間，不要比我還遲。

下來如果覺得自己接受能力強的話就可以開始學c語言了（注意不是C++），如果感覺有困難也可以先學Pascal過度一下。還有很重要的一點就是千萬不要一開始就學VB，DELPHI，VC之類的東西，這些東西在一開始學會對你造成很壞的影響。有可能會把你引入另外一個錯誤的學習方向而忽略了真正應該掌握的東西。學C主要是學過程話的程序設計，學會把自己的程序分成許多的函數（或過程），養成良好的編程習慣。這時可以多看一下高人的程序，不一定要懂意思，主要是學會別人程序的格式（比如變數如何起名，怎麼劃分函數）。除開掌握基本的控制流語句外，應該學習一些很簡單的I/O函數和數學函數。C的學習主要是你舍棄原來BASIC程序那種把所有語句積成一大堆的風格，要學會使用函數，提高代碼重用性。對於指針之類的東西如果實在看不懂可以先不去管，到後面會有辦法。當你能夠比較自如的用C編寫一些小的計算程序時，你就可以開始你的數據結構的學習了（數學的學習主要是在學校，自己要多用心）。數據結構你可以一點一點漫漫看，並不需要專門空出一段時間來專門研究，這樣的目的是讓你能夠很好的掌握它，要學會用數據結構的知識來規范自己的程序設計和提高程序的效率。學完C我認為接著最好學習匯編。這個或許有許多人都會反對，然而我個人認為這樣是很好的。從最基本的DOS匯編開始，買本《IBM PC匯編程序設計》（清華黃皮）一定要一點一點吃透，實在看不懂就跳，反復的嚴讀是一定可以看懂的。匯編是一定要掌握的，因為它涉及到很多最基本的知識。掌握了匯編和對I/O有了個很徹底的認識後，應該去學編譯原理。這個東西並不要精通，但是一定要知道，在大腦里要有一個這樣的概念，這對你對程序語言的控制能力都有很大的幫助。這樣最基本的學習就算完成了。一般智力正常的人前一段東西應該都是可以掌握的。接著後面的學習就要看你自身的造化了。這個時候你應該研究一下數據結構，不要分散自己學習的注意力，要知道數據結構是異常重要的（相信我，絕對沒錯）如果你覺得自己已經對於樹，連表，堆棧之類的東西和排序，遞歸之類的演算法已經十分清楚，就可以開始學習C++了。學習前一定要有個正確的認識，那就是C和C++是兩個不同的東西。學習C++是為了學習面向對象的程序設計，這個時候你對於指針應該也能夠掌握了（有匯編的基礎），主要抓住C++和C相比的一些新特性，對於多態之類的特性要注意理解掌握，如果沒有搞懂就堅決不要往下學習。一些基本的概念掌握以後可以看一些別人設計的程序，學習別人怎麼利用面向對象的方法來設計程序的。這個東西也是人之間拉開檔次的一個環節，可以和數據結構放在同等重要的地位。我就見過有的人都大學畢業了還搞不懂virtual到底是怎麼一回事情。其實我認為學到這里你已經為你成為一個優秀的程序員打下了很好的基礎，你已經能夠應用C++，懂得面向對象程序設計，對數據結構掌握很好，掌握匯編和編譯原理。接下來的學習就是基於操作系統平台的了，一般是先學windows（Microsoft畢竟是老大），先學win32 api，搞請windows基本消息機制和原理，有匯編基礎基本上不會碰到什麼困難。
其實只要會了API，其餘什麼MFC，VCL都是囊中之物了，都不過是對於API的封裝而已。VC，C++Builder都可輕松拿下，這只是開發工具的問題。以後的OLE(ActiveX)，.NET，資料庫就要看自己的發展方向而定了。我在這里強調的是前面的基本能力的學習，後面操作平台雖然知識體系龐大，然而畢竟比較死，更好掌握。最後編程能力的高低主要還是有以下幾點決定：1。編程的習慣 2。數學能力（包括邏輯思維，分析問題的能力） 3。對數據結構的認識能力 4。經驗的多少（包括多使用語言的掌握能力）
學習編程的道路是充滿艱辛，漫長而曲折的，作者羅列了一堆自己知道的編程方面的知識，並且給出了一個具體的順序，所謂先學什麼，後學什麼；沒學會什麼，就一定不要去學另一個什麼.....其中很多內容有一些道理。但是總是難逃片面。

從入門到精通一類的東西看的太多了，難道真的憑借一本書就能從一個電腦盲編程精通的專家了么。我鄭重的建議那些想「速成」高手的人，放棄你的想法吧。一個計算機專業的本科生，要花上4年時間才能畢業，需要學習的專業知識豈是一朝一夕就能掌握的。就算去除一些公共課所佔用的時間，我覺得要入計算機行業這個「門」，至少需要兩年的時間。兩年後才能說，對計算機有一些了解了，知道了計算機的基本組成原理，對時鍾晶振，中斷晶元有一定了解，用匯編簡單控制8259編程。也知道了一些計算機程序設計語言方面的原理，掌握了一倆門傳統的樣板編程語言，了解了i++和++i對於VC的編譯器來說意味著什麼，有了一些數據結構方面的認識，能把現實生活中的一些問題用程序模擬出來。

但這一切也不過是剛剛入門而已，只是打基礎。至於以後再學習Windows系統原理，消息機制，掌握這個類庫，那個類庫；抑或是研究linux內核，進而了解嵌入式系統開發工具和方法，那要看個人喜好了。我只是舉幾個例子，但是隨便那個，要敢說自己已經完全掌握，至少還要幾年吧。

如果上面的東西中有的已經很精通了，可以稱為專家了，那麼恭喜你，你可以考慮把這些東西再總結，提升一個層次，從系統架構角度回顧一下要實現某個需求，通常需要使用什麼技術，多少人，多長時間來開發，成本多少，收益多少，風險又有多少，還可以總結出一些控制軟體開發進度的方法，生成軟體的方法，人們把這些方法歸納起來叫做軟體工程。而你，也應該是一個項目經理了吧。

如果這些東西都學會了，再次恭喜你，你可以考慮能不能把現有的客戶拉到自己身邊來，找個人給自己投資，成立自己的軟體公司。成為浩浩盪盪的軟體創業者中微不足道的一員。

自學了VB，VC，數據結構，離散，操作系統，資料庫原理等。
開學以來做完了數字圖像處理的所有的實驗--有個別實驗還是很難的。我從paperVC++被逼--也算是熟練（離精通差遠了）而系裡其他的同學卻沒有一個自己全部編出來的，都是抄書的。但並不能說明他們的計算機水平都差，比起編程水平，我更佩服那些真正計算機專家--盡管他們不編程。但是他們的研究成果往往大大幫助我們編程，很多編程思想都是他們過去的研究成果！我們就算編出來了--也就是說明我們有點小聰明，但決不可以和系統完備的大智慧相比！就像我們可以利用數學定理計算一些復雜的數學題目一樣，這沒什麼了不起--真正了不起了還是那些定理提出者，和證明者。這一個學期前我一直想好好地把編程好好學學，可是越來越覺得數學功底不足（當然不僅僅只高數）。現在真佩服那些數學家！真正的計算機專家！過去學數據結構時，八皇後，背包，搜索--一直令人頭疼，好像懂，但不爽，記不住。在一個專家（圖靈獎獲得者）的看似簡單思想的指引下--這些演算法統一到了一起-------一切似乎都那麼明了！顯然如果你編程的話也提高編成的水平。還有記得學資料庫原理，開始那段自己在沒有規則指引的條件下想理清楚各種事物的關系時，是那麼的混亂。而有了armstrong公理系統的三條規則---世界就一下子變得清晰！--這個最好的程序員能做到嗎，他也只能每次遇到具體問題，每次發揮它聰明去理關系，也難保不出錯，還要累死大量腦細胞！
既然讀研究生，重點在思想。但我有自知之明，我們那麼好的功底，也許以後就是編編程序，難弄出這種精華的東西，但是注重思想的學習-會對學具體知識起到巨大指導作用。所以我不會覺得編程水平低的就不行--很可能比程序高手的價值高很多倍！
但迫於個人造詣和以後就業的壓力，還是把流行技術性的東西掌握一下好。
說到底，要想成為優秀的程序員，還是要注重基本理論的學習。

終於點到題目上來了。大多數的人都希望自己的東西能夠馬上跑起來，變成錢。這種想法對一個已經進入職業領域的程序員或者項目經理來說是合理的，而且IT技術進步是如此的快，不跟進就是失業。但是對於初學者來說（尤其是時間充裕的大中專在校生），這種想法是另人費解的。一個並未進入到行業競爭中來的初學者最大的資本便是他有足夠的時間沉下心來學習基礎性的東西，學習why 而不是how。時髦的技術往往容易掌握，而且越來越容易掌握，這是商業利益的驅使，為了最大化的降低軟體開發的成本。但在IT領域內的現實就是這樣，越容易掌握的東西，學習的人越多，而且淘汰得越快。每一次新的技術出來，都有許多初學者跟進，這些初學者由於缺乏必要的基礎而使得自己在跟進的過程中花費大量的時間，而等他學會了，這種技術也快淘汰了。基礎的課程，比方數據結構，操作系統原理等等雖然不能讓你立馬就實現一個linux（這是許多人嘲笑理論課程無用的原因），但它們能夠顯著的減少你在學習新技術時學習曲線的坡度。而且對於許多關鍵的技術（比方Win32 SDK 程序的設計，DDK的編程）來說甚至是不可或缺的。

一個活生生的例子是我和我的一個同學，在大一時我還找不到開機按紐，他已經會寫些簡單的匯編程序了。我把大二的所有時間花在了匯編，計算機體系結構，數據結構，操作系統原理等等這些課程的學習上，而他則開始學習HTML和VB，並追趕ASP的潮流。大三的時候我開始學習Windows 操作系統原理，學習SDK編程，時間是漫長的，這時我才能夠用VC開發出象模象樣的應用程序。我曾一度因為同學的程序已經能夠運行而自己還在學習如何創建對話框而懊惱不已，但臨到畢業才發現自己的選擇是何等的正確。和我談判的公司開出的薪水是他的兩倍還多。下面有一個不很恰當的比方：假設學習VB編程需要4個月，學習基礎課程和VC的程序設計需要1年。那麼如果你先學VB，再來學習後者，時間不會減少，還是1年，而反過來，如果先學習後者，再來學VB，也許你只需要1個星期就能學得非常熟練。
幾個重要的基礎課程

計算機操作系統原理－我們的開發總是在特定的操作系統上進行，如果不是，只有一種可能：你在自己實現一個操作系統。無論如何，操作系統原理是必讀的。這就象我們為一個晶元製作外圍設備時，晶元基本的工作時序是必需了解的。這一類書也很多，我沒有發現哪一本書非常出眾。只是覺得在看完了這些書後如果有空就應該看看《Inside Windows 2000》(微軟出版社，我看的是E文版的，中文的書名想必是Windows 2000 技術內幕之類吧)。關於學習它的必要性，ZDNET上的另一篇文章已經有過論述。

數據結構和演算法－這門課程能夠決定一個人程序設計水平的高低，是一門核心課程。我首選的是清華版的（朱戰立，劉天時）。很多人喜歡買C++版的，但我覺得沒有必要。C++的語法讓演算法實現過程變得復雜多了，而且許多老師喜歡用模塊這一東西讓演算法變得更復雜。倒是在學完了C版的書以後再來瀏覽一下C++的版的書是最好的。

軟體工程－這門課程是越到後來就越發現它的重要，雖然剛開始看時就象看馬哲一樣不知所雲。我的建議是看《實用軟體工程》（黃色，清華）。不要花太多的時間去記條條框框，看不懂就跳過去。在每次自己完成了一個軟體設計任務（不管是練習還是工作）以後再來回顧回顧，每次都會有收獲。

Windows 程序設計－《北京大學出版社，Petzold著》我建議任何企圖設計Windows 程序的人在學習VC以前仔細的學完它。而且前面的那本《Inside Windows 2000》也最好放到這本書的後面讀。在這本書中，沒有C++，沒有GUI，沒有控制項。有的就是如何用原始的C語言來完成Windows 程序設計。在學完了它以後，你才會發現VC其實是很容易學的。千萬不要在沒有看完這本書以前提前學習VC，你最好碰都不要碰。我知道的許多名校甚至都已經用它作為教材進行授課。可見其重要。

上面的幾門課程我認為是必學的重要課程（如果你想做Windows 程序員）。

對於其它的課程有這樣簡單的選擇方法：如果你是計算機系的，請學好你所有的專業基礎課。如果不是，請參照計算機系的課程表。如果你發現自己看一本書時無法看下去了，請翻到書的最後，看看它的參考文獻，找到它們並學習它們，再回頭看這本書。如果一本書的書名中帶有「原理」兩個字，你一定不要去記憶它其中的細節，你應該以一天至少50頁的速度掌握其要領。盡可能多的在計算機上實踐一種理論或者演算法。

你還可以在CSDN上閱讀到許多書評。這些書評能夠幫助你決定讀什麼樣的書。

日三省乎己
每天讀的書太多，容易讓人迷失方向。一定要在每天晚上想想自己學了些什麼，還有些什麼相關的東西需要掌握，自己對什麼最感興趣，在一本書上花的時間太長還是不夠等等。同時也應該多想想未來最有可能出現的應用，這樣能夠讓你不是追趕技術潮流而是引領技術潮流。同時，努力使用現在已經掌握的技術和理論去製作具有一定新意的東西。堅持這樣做能夠讓你真正成為一個軟體「研發者」而不僅僅是一個CODER。

把最多的時間花在學習上
這是對初學者最後的忠告。把每個星期玩SC或者CS的時間壓縮到最少，不玩它們是最好的。同時，如果你的ASP技術已經能夠來錢，甚至有公司請你 *** 的話，這就證明你的天份能夠保證你在努力的學習之後取得更好的收益，你應該去做更復雜的東西。眼光放長遠一些，這無論是對誰都是適用的。

相信你已經能夠決定是否學習C＃或者什麼時候去學它了。

學計算機專業的需要看哪些書籍呢？

高中起點計算機本科：
1. 計算機科學與技術專業：C語言程序設計、計算機組成原理、數據結構、操作系統、
微機原理及匯編語言、計算機網路、計算機系統結構、軟體工程、面向對象程序設計等。
2. 計算機軟體專業：面向對象程序設計、計算機組成原理、操作系統、數據結構、計算
機網路、軟體工程、編譯原理、分布式系統、軟體項目管理、Oracle資料庫系統等。
3. 電子商務專業：管理學原理、電子商務、物流管理、計算機網路、供應鏈管理、電子商務平台及核心技術、國際商務管理、電子商務案例分析、商務網站建設等。
專科起點計算機本科：
1. 計算機科學與技術專業：計算機組成原理、數據結構、面向對象程序設計、操作系統、計算機系統結構、軟體工程、資料庫原理及應用、計算機網路、嵌入式系統與結構等。
2. 計算機軟體專業：操作系統、數據結構、面向對象程序設計、計算機原理及系統結構、資料庫系統、JAVA程序設計、計算機網路、軟體工程、中間件技術、信息系統集成等。
3. 電子商務專業：管理學原理、資料庫原理及應用、管理信息系統、金融學、電子商務平台及核心技術、物流管理、計算機網路、人力資源管理、供應鏈管理等。

自考計算機專業該看哪些書呢

自考計算機專業的科目你可以到當地的自學考試辦公室買一本《自學考試報考指南》，裡面你所在省的所有自考專業及科目都有！

學計算機專業的都有哪些專業書本？

c語言 c++ java（譚浩強的不錯） ~~~~~~~~~~~~~~~操作系統，數據結構，linux，軟體基礎，計算機網路（自頂向下那本不錯）~~~~~~~~~~~~~

大學計算機專業應該看哪些書

作為過來人，我建議你應該先好好保持英語，至於計算機專業方面的書籍，現在沒必要去看，看看計算機概論就夠了，了解計算機的構造，現在可以想想你要走什麼方向，計算機領域很廣，要是全部按照學校的授課方式，你什麼都要去學，但是後果是你什麼都不精通，找工作沒有絲毫用處。建議你選好具體方向，然後專門研究那個方向，當然，知識嘛，多多益善，但是要有主次

非計算機專業自學計算機編程入門需要看哪些書？

首先計算機基礎要弄清楚，如果對計算機很熟悉，這個可以跳過。
之後是最重要的，就是C語言。基本上計算機編程都是C語言，有的就算不是，一理通百理，學好了C語言，其他的都不在話下。這個是最重要的。
然後是資料庫，這個和C語言來說，就相當簡單了。

急！計算機專業考公務員的話考些什麼內容，還有要看哪些專業書？？

國家公務員考試科目：
1. 內容。公共科目包括行政職業能力測驗和申論兩科。有關情況詳見《中央機關及其直屬機構2016年度考試錄用公務員公共科目考試大綱》。
報考中央對外聯絡部、外交部、教育部、商務部、國家外國專家局、全國友協、中國貿促會等部門日語、法語、俄語、西班牙語、阿拉伯語、德語、朝鮮語(韓語)等7個非通用語職位的人員，還將參加外語水平考試，考試大綱請在相關招錄部門網站查詢。
報考中國銀監會及其派出機構、中國證監會及其派出機構特殊專業職位的人員，還將參加專業考試，考試大綱請在考錄專題網站，中國銀監會、中國證監會網站分別查詢。
省公務員考試：大多數省份是考公共科目包括行政職業能力測驗和申論兩科。

遼寧移動計算機專業面試需要看哪些書，計算機專業面試主要考哪些題？萬分感謝！

本人廣東移動員工。資料庫、還有JAVA和C++語言很重要！另外，掌握基本的測試原理和技術也會幫助不少。
移動校招錄取的學歷一般要求研究生以上，當然大牛的本科生也會考慮！
移動目前最缺牛的系統架構師！不是哪個省缺，我能告訴你全網都缺！
所以如果有系統項目經驗，會加分不少！
希望能幫到你！

非計算機專業學習JAVA看哪些書

零基礎學Java》和 《JAVA編程基礎、應用與實例》

要學計算機專業需要了解哪些知識?需要看哪些書?

計算機也有很多專業，比如軟體工程、硬體方面的、網路工程、或者是綜合的計算機科學與技術。等等。看書，想計算機體系結構，操作系統什麼的。

『肆』 編譯原理題目

習題一、單項選擇題
1、將編譯程序分成若干個「遍」是為了 。
a．提高程序的執行效率
b．使程序的結構更加清晰
c．利用有限的機器內存並提高機器的執行效率
d．利用有限的機器內存但降低了機器的執行效率
2、構造編譯程序應掌握 。
a．源程序 b．目標語言
c．編譯方法 d．以上三項都是
3、變數應當 。
a．持有左值 b．持有右值
c．既持有左值又持有右值 d．既不持有左值也不持有右值
4、編譯程序絕大多數時間花在 上。
a．出錯處理 b．詞法分析
c．目標代碼生成 d．管理表格
5、 不可能是目標代碼。
a．匯編指令代碼 b．可重定位指令代碼
c．絕對指令代碼 d．中間代碼
6、使用 可以定義一個程序的意義。
a．語義規則 b．詞法規則
c．產生規則 d．詞法規則
7、詞法分析器的輸入是 。
a．單詞符號串 b．源程序
c．語法單位 d．目標程序
8、中間代碼生成時所遵循的是- 。
a．語法規則 b．詞法規則
c．語義規則 d．等價變換規則
9、編譯程序是對 。
a．匯編程序的翻譯 b．高級語言程序的解釋執行
c．機器語言的執行 d．高級語言的翻譯
10、語法分析應遵循 。
a．語義規則 b．語法規則
c．構詞規則 d．等價變換規則
解答
1、將編譯程序分成若干個「遍」是為了使編譯程序的結構更加清晰，故選b。
2、構造編譯程序應掌握源程序、目標語言及編譯方法等三方面的知識，故選d。
3、對編譯而言，變數既持有左值又持有右值，故選c。
4、編譯程序打交道最多的就是各種表格，因此選d。
5、目標代碼包括匯編指令代碼、可重定位指令代碼和絕對指令代碼3種，因此不是目標代碼的只能選d。
6、詞法分析遵循的是構詞規則，語法分析遵循的是語法規則，中間代碼生成遵循的是語義規則，並且語義規則可以定義一個程序的意義。因此選a。
7、b 8、c 9、d 10、c
二、多項選擇題
1、編譯程序各階段的工作都涉及到 。
a．語法分析 b．表格管理 c．出錯處理
d．語義分析 e．詞法分析
2、編譯程序工作時，通常有 階段。
a．詞法分析 b．語法分析 c．中間代碼生成
d．語義檢查 e．目標代碼生成
解答
1．b、c 2. a、b、c、e
三、填空題
1、解釋程序和編譯程序的區別在於 。
2、編譯過程通常可分為5個階段，分別是 、語法分析 、代碼優化和目標代碼生成。 3、編譯程序工作過程中，第一段輸入是 ，最後階段的輸出為 程序。
4、編譯程序是指將 程序翻譯成 程序的程序。 解答
是否生成目標程序 2、詞法分析 中間代碼生成 3、源程序 目標代碼生成 4、源程序 目標語言
一、單項選擇題
1、文法G：S→xSx|y所識別的語言是 。
a. xyx b. (xyx)* c. xnyxn(n≥0) d. x*yx*
2、文法G描述的語言L(G)是指 。
a. L(G)={α|S+ ⇒α , α∈VT*} b. L(G)={α|S*⇒α, α∈VT*}
c. L(G)={α|S*⇒α,α∈(VT∪VN*)} d. L(G)={α|S+ ⇒α, α∈(VT∪VN*)}
3、有限狀態自動機能識別 。
a. 上下文無關文法 b. 上下文有關文法
c.正規文法 d. 短語文法
4、設G為算符優先文法，G的任意終結符對a、b有以下關系成立 。
a. 若f(a)>g(b)，則a>b b.若f(a)<g(b)，則a<b
c. a~b都不一定成立 d. a~b一定成立
5、如果文法G是無二義的，則它的任何句子α 。
a. 最左推導和最右推導對應的語法樹必定相同
b. 最左推導和最右推導對應的語法樹可能不同
c. 最左推導和最右推導必定相同
d. 可能存在兩個不同的最左推導，但它們對應的語法樹相同
6、由文法的開始符經0步或多步推導產生的文法符號序列是 。
a. 短語 b.句柄 c. 句型 d. 句子
7、文法G：E→E+T|T
T→T*P|P
P→(E)|I
則句型P+T+i的句柄和最左素短語為 。
a.P+T和i b. P和P+T c. i和P+T+i d.P和T
8、設文法為：S→SA|A
A→a|b
則對句子aba，下面 是規范推導。
a. SÞSAÞSAAÞAAAÞaAAÞabAÞaba
b. SÞSAÞSAAÞAAAÞAAaÞAbaÞaba
c. SÞSAÞSAAÞSAaÞSbaÞAbaÞaba
d. SÞSAÞSaÞSAaÞSbaÞAbaÞaba
9、文法G：S→b|∧(T)
T→T,S|S
則FIRSTVT(T) 。
a. {b,∧,(} b. {b,∧,)} c.{b,∧,(,，} d.{b,∧,),，}
10、產生正規語言的文法為 。
a. 0型 b. 1型 c. 2型 d. 3型
11、採用自上而下分析，必須 。
a. 消除左遞歸 b. 消除右遞歸 c. 消除回溯 d. 提取公共左因子
12、在規范歸約中，用 來刻畫可歸約串。
a. 直接短語 b. 句柄 c. 最左素短語 d. 素短語
13、有文法G：E→E*T|T
T→T+i|i
句子1+2*8+6按該文法G歸約，其值為 。
a. 23 B. 42 c. 30 d. 17
14、規范歸約指 。
a. 最左推導的逆過程 b. 最右推導的逆過程
c. 規范推導 d. 最左歸約的逆過程
[解答]
1、選c。
2、選a。
3、選c。
4、雖然a與b沒有優先關系，但構造優先函數後，a與b就一定存在優先關系了。所以，由f(a)>g)(b)或f(a)<g(b)並不能判定原來的a與b之間是否存在優先關系：故選c。
5、如果文法G無二義性，則最左推導是先生長右邊的枝葉：對於d，如果有兩個不同的是了左推導，則必然有二義性。故選a。
6、選c。
7、由圖2-8-1的語法樹和優先關系可以看出應選b。

8、規范推導是最左推導，故選d。
9、由T→T,…和T→(… 得FIRSTVT(T))={(,，)}；
由T→S得FIRSTVT(S)⊂FIRSTVT(T)，而FIRSTVT(S)={b,∧,(}；即
FIRSTVT(T)={b,∧,(,，}； 因此選c。
10、d 11、c 12、b 13、b 14、b
二、多項選擇題
1、下面哪些說法是錯誤的 。
a. 有向圖是一個狀態轉換圖 b. 狀態轉換圖是一個有向圖
c.有向圖是一個DFA d.DFA可以用狀態轉換圖表示
2、對無二義性文法來說，一棵語法樹往往代表了 。
a. 多種推導過程 b. 多種最左推導過程 c.一種最左推導過程
d.僅一種推導過程 e.一種最左推導過程
3、如果文法G存在一個句子，滿足下列條件 之一時，則稱該文法是二義文法。
a. 該句子的最左推導與最右推導相同
b. 該句子有兩個不同的最左推導
c. 該句子有兩棵不同的最右推導
d. 該句子有兩棵不同的語法樹
e.該句子的語法樹只有一個
4、有一文法G：S→AB
A→aAb|ε
B→cBd|ε
它不產生下面 集合。
a. {anbmcndm|n,m≥0} b. {anbncmdm|n,m>0}
c. {anbmcmdn|n,m≥0} d. {anbncmdm|n,m≥0}
e. {anbncndn|n≥0}
5、自下而上的語法分析中，應從 開始分析。
a. 句型 b. 句子 c. 以單詞為單位的程序
d. 文法的開始符 e. 句柄
6、對正規文法描述的語言，以下 有能力描述它。
a.0型文法 b.1型文法 c.上下文無關文法 d.右線性文法 e.左線性文法
解答 1、e、a、c 2、a、c、e 3、b、c、d 4、a、c 5、b、c 6、a、b、c、d、e
三、填空題
1、文法中的終結符和非終結符的交集是 。詞法分析器交給語法分析器的文法符號一定是 ，它一定只出現在產生式的 部。
2、最左推導是指每次都對句型中的 非終結符進行擴展。
3、在語法分析中，最常見的兩種方法一定是 分析法，另一是 分析法。
4、採用 語法分析時，必須消除文法的左遞歸。
5、 樹代表推導過程， 樹代表歸約過程。
6、自下而上分析法採用 、歸約、錯誤處理、 等四種操作。
7、Chomsky把文法分為 種類型，編譯器構造中採用 和 文法，它們分別產生 和 語言，並分別用 和 自動機識別所產生的語言。
解答 1、空集 終結符 右
2、最左
3、自上而上 自下而上
4、自上而上
5、語法 分析
6、移進 接受
7、4 2 型 3型 上下文無關語言 正規語言 下推自動機 有限
四、判斷題
1、文法 S→aS|bR|ε描述的語言是(a|bc)* ( )
R→cS
2、在自下而上的語法分析中，語法樹與分析樹一定相同。 （ ）
3、二義文法不是上下文無關文法。 （ ）
4、語法分析時必須先消除文法中的左遞歸。 （ ）
5、規范歸約和規范推導是互逆的兩個過程。 （ ）
6、一個文法所有句型的集合形成該文法所能接受的語言。 （ ）
解答 1、對 2、錯 3、錯 4、錯 5、錯 6、錯
五、簡答題
1、句柄 2、素短語 3、語法樹 4、歸約 5、推導
[解答]
1、句柄：一個句型的最左直接短語稱為該句型的句柄。
2、素短語：至少含有一個終結符的素短語，並且除它自身之外不再含任何更小的素短語。
3、語法樹：滿足下面4個條件的樹稱之為文法G[S]的一棵語法樹。
①每一終結均有一標記，此標記為VN∪VT中的一個符號；
②樹的根結點以文法G[S]的開始符S標記；
③若一結點至少有一個直接後繼，則此結點上的標記為VN中的一個符號；
④若一個以A為標記的結點有K個直接後繼，且按從左至右的順序，這些結點的標記分別為X1,X2,…,XK，則A→X1,X2,…,XK，必然是G的一個產生式。
4、歸約：我們稱αγβ直接歸約出αAβ，僅當A→γ 是一個產生式，且α、β∈(VN∪VT)*。歸約過程就是從輸入串開始，反復用產生式右部的符號替換成產生式左部符號，直至文法開始符。
5、推導：我們稱αAβ直接推出αγβ，即αAβÞαγβ，僅當A→ γ 是一個產生式，且α、β∈(VN∪VT)*。如果α1Þα2Þ…Þαn，則我們稱這個序列是從α1至α2的一個推導。若存在一個從α1αn的推導，則稱α1可推導出αn。推導是歸約的逆過程。
六、問答題
1、給出上下文無關文法的定義。
[解答]
一個上下文無關文法G是一個四元式（VT,VN,S, P），其中：
●VT是一個非空有限集，它的每個元素稱為終結符號；
●VN是一個非空有限集，它的每個元素稱為非終結符號，VT∩VN=Φ；
●S是一個非終結符號，稱為開始符號；
●P是一個產生式集合（有限），每個產生式的形式是P→α，其中，P∈VN，
α∈(VT∪VN)*。開始符號S至少必須在某個產生式的左部出現一次。
2、文法G[S]：
S→aSPQ|abQ
QP→PQ
bP→bb
bQ→bc
cQ→cc
（1）它是Chomsky哪一型文法？
（2）它生成的語言是什麼？
[解答]
（1）由於產生式左部存在終結符號，且所有產生式左部符號的長度均小於等於產生式右部的符號長度，所以文法G[S]是Chomsky1型文法，即上下文有關文法。
（2）按產生式出現的順序規定優先順序由高到低（否則無法推出句子），我們可以得到：
SÞabQÞabc
SÞaSPQÞaabQPQÞaabPQQÞaabbQQÞaabbcQÞaabbcc
SÞaSPQÞaaSPQPQÞaaabQPQPQÞaaabPQQPQÞaaabPQPQQÞaaaPPQQQÞ
aaabbPqqqÞaaabbQQQÞaaabbbcQQÞaaabbbccQÞaaabbbccc
……
於是得到文法G[S]生成的語言L={anbncn|n≥1}
3、按指定類型，給出語言的文法。
L={aibj|j＞i≥1}的上下文無關文法。
【解答】
（1）由L={aibj|j＞i≥1}知，所求該語言對應的上下文無關文法首先應有S→aSb型產生式，以保證b的個數不少於a的個數；其次，還需有S→Sb或S→bS型的產生式，用以保證b的個數多於a的個數；也即所求上下文無關文法G[S]為：
G[S]：S→aSb|Sb|b
4、有文法G：S→aAcB|Bd
A→AaB|c
B→bScA|b
（1）試求句型aAaBcbbdcc和aAcbBdcc的句柄；
（2）寫出句子acabcbbdcc的最左推導過程。
【解答】（1）分別畫出對應兩句型的語法樹，如圖2-8-2所示
句柄:AaB Bd

圖2-8-2 語法樹
（2）句子acabcbbdcc的最左推導如下：
SÞaAcBÞaAaBcBÞacaBcBÞacabcBÞacabcbScAÞacabcbBdcA
ÞacabcbbdcAÞacabcbbdcc
5、對於文法G[S]：
S→（L）|aS|a L→L, S|S
（1）畫出句型（S,（a））的語法樹。（2）寫出上述句型的所有短語、直接短語、句柄和素短語。
【解答】
（1）句型（S,（a））的語法樹如圖2-8-3所示

（2）由圖2-8-3可知：
①短語：S、a、(a)、S,(a)、(S,(a))；
②直接短語：a、S；
③句柄：S；
④素短語：素短語可由圖2-8-3中相鄰終結符之間的優先關系求得，即；

因此素短語為a。
6、考慮文法G[T]：
T→T*F|F
F→F↑P|P
P→（T）|i
證明T*P↑（T*F）是該文法的一個句型，並指出直接短語和句柄。
【解答】
首先構造T*P↑（T*F）的語法樹如圖2-8-4所示。

由圖2-8-4可知，T*P↑（T*F）是文法G[T]的一個句型。
直接短語有兩個，即P和T*F；句柄為P。

一、單項選擇題
1、詞法分析所依據的是 。
a. 語義規則 b. 構詞規則 c. 語法規則 d. 等價變換規則
2、詞法分析器的輸出結果是 。
a. 單詞的種別編碼 b. 單詞在符號表中的位置
c. 單詞的種別編碼和自身值 d. 單詞自身值
3、正規式M1和M2等價是指 。
a. M1和M2的狀態數相等 b. M1和M2的有向弧條數相等
c. M1和M2所識別的語言集相等 d. M1和M2狀態數和有向弧條數相等
4、狀態轉換圖（見圖3-6-1）接受的字集為 。

a. 以 0開頭的二進制數組成的集合 b. 以0結尾的二進制數組成的集合
c. 含奇數個0的二進制數組成的集合 d. 含偶數個0的二進制數組成的集合
5、詞法分析器作為獨立的階段使整個編譯程序結構更加簡潔、明確，因此， 。
a. 詞法分析器應作為獨立的一遍 b. 詞法分析器作為子程序較好
c. 詞法分析器分解為多個過程，由語法分析器選擇使用 d. 詞法分析器並不作為一個獨立的階段
解答 1、b 2、c 3、c 4、d 5、b
二、多項選擇題
1、在詞法分析中，能識別出 。
a. 基本字 b. 四元式 c. 運算符
d. 逆波蘭式 e. 常數
2、令∑={a,b}，則∑上所有以b開頭，後跟若干個ab的字的全體對應的正規式為 。
a. b(ab)* b. b(ab)+ c.(ba)*b
d. (ba)+b e. b(a|b)
解答 1、a、c、e 2、a、b、d
三、填空題
1、確定有限自動機DFA是 的一個特例。
2、若二個正規式所表示的 相同，則認為二者是等價的。
3、一個字集是正規的，當且僅當它可由 所 。
解答 1、NFA 2、正規集 3、DFA（NFA）所識別
四、判斷題
1、一個有限狀態自動機中，有且僅有一個唯一終態。 （ ）
2、設r和s分別是正規式，則有L（r|s）=L(r)|L(s)。 （ ）
3、自動機M和M′的狀態數不同，則二者必不等價。 （ ）
4、確定的自動機以及不確定的自動機都能正確地識別正規集。 （ ）
5、對任意一個右線性文法G，都存在一個NFA M，滿足L(G)=L(M)。 （ ）
6、對任意一個右線性文法G，都存在一個DFA M，滿足L(G)=L(M)。 （ ）
7、對任何正規表達式e，都存在一個NFA M，滿足L(G)=L(e)。 （ ）
8、對任何正規表達式e，都存在一個DFA M，滿足L(G)=L(e)。 （ ）
解答 1 、2、3、錯 4、5、6、7、8、正確
五、基本題
1、設M＝（{x,y}, {a,b}, f,x,{y}）為一非確定的有限自動機，其中f定義如下：
f（x,a）＝{x,y} f（x,b）＝{y}
f（y,a）＝φ f（y,b）＝{x,y}
試構造相應的確定有限自動機M′。
解答：對照自動機的定義M=(S,Σ,f,S0,Z)，由f的定義可知f(x,a)、f(y,b)均為多值函數，所以是一非確定有限自動機，先畫出NFA M相應的狀態圖，如圖3-6-2所示。

用子集法構造狀態轉換矩陣表3-6-3所示。
I Ia Ib
{x} {x,y} {y}
{y} — {x,y}
{x,y} {x,y} {x,y}
將轉換矩陣中的所有子集重新命名而形成表3-6-4所示的狀態轉換矩陣。
表3-6-4 狀態轉換矩陣
a b
0 2 1
1 — 2
2 2 2
即得到M′=（{0,1,2}, {a,b}, f,0, {1,2}），其狀態轉換圖如圖3-6-5所示。

將圖3-6-5的DFA M′最小化。首先，將M′的狀態分成終態組{1，2}與非終態組{0}；其次，考察{1,2}。由於{1,2}a={1,2}b={2}⊂{1,2}，所以不再將其劃分了，也即整個劃分只有兩組{0}，{1,2}：令狀態1代表{1,2}，即把原來到達2的弧都導向1，並刪除狀態2。最後，得到如圖3-6-6所示化簡DFA M′。

2、對給定正規式b*（d|ad）（b|ab）+，構造其NFA M；
解答：首先用A+=AA*改造正規式得：b*(d|ad)(b|ab)(b|ab)*；其次，構造該正規式的NFA M，如圖3-6-7所示。
求採納為滿意回答。

『伍』 編譯原理課程設計

%{

/* FILENAME: C.Y */

%}
#define YYDEBUG_LEXER_TEXT (yylval) /* our lexer loads this up each time */
#define YYDEBUG 1 /* get the pretty debugging code to compile*/
#define YYSTYPE char * /* interface with flex: should be in header file */
/* Define terminal tokens */
/* keywords */
%token AUTO DOUBLE INT STRUCT
%token BREAK ELSE LONG SWITCH
%token CASE ENUM REGISTER TYPEDEF
%token CHAR EXTERN RETURN UNION
%token CONST FLOAT SHORT UNSIGNED
%token CONTINUE FOR SIGNED VOID
%token DEFAULT GOTO SIZEOF VOLATILE
%token DO IF STATIC WHILE
/* ANSI Grammar suggestions */
%token IDENTIFIER STRINGliteral
%token FLOATINGconstant INTEGERconstant CHARACTERconstant
%token OCTALconstant HEXconstant
/* New Lexical element, whereas ANSI suggested non-terminal */
%token TYPEDEFname /* Lexer will tell the difference between this and
an identifier! An identifier that is CURRENTLY in scope as a
typedef name is provided to the parser as a TYPEDEFname.*/
/* Multi-Character operators */
%token ARROW /* -> */
%token ICR DECR /* ++ -- */
%token LS RS /* << >> */
%token LE GE EQ NE /* <= >= == != */
%token ANDAND OROR /* && || */
%token ELLIPSIS /* ... */
/* modifying assignment operators */
%token MULTassign DIVassign MODassign /* *= /= %= */
%token PLUSassign MINUSassign /* += -= */
%token LSassign RSassign /* <<= >>= */
%token ANDassign ERassign ORassign /* &= ^= |= */
%start translation_unit
%%
/* CONSTANTS */
constant:
INTEGERconstant
| FLOATINGconstant
/* We are not including ENUMERATIONconstant here because we
are treating it like a variable with a type of "enumeration
constant". */
| OCTALconstant
| HEXconstant
| CHARACTERconstant
;

string_literal_list:
STRINGliteral
| string_literal_list STRINGliteral
;
/************************* EXPRESSIONS ********************************/
primary_expression:
IDENTIFIER /* We cannot use a typedef name as a variable */
| constant
| string_literal_list
| '(' comma_expression ')'
;
postfix_expression:
primary_expression
| postfix_expression '[' comma_expression ']'
| postfix_expression '(' ')'
| postfix_expression '(' argument_expression_list ')'
| postfix_expression {} '.' member_name
| postfix_expression {} ARROW member_name
| postfix_expression ICR
| postfix_expression DECR
;
member_name:
IDENTIFIER
| TYPEDEFname
;
argument_expression_list:
assignment_expression
| argument_expression_list ',' assignment_expression
;
unary_expression:
postfix_expression
| ICR unary_expression
| DECR unary_expression
| unary_operator cast_expression
| SIZEOF unary_expression
| SIZEOF '(' type_name ')'
;
unary_operator:
'&'
| '*'
| '+'
| '-'
| '~'
| '!'
;
cast_expression:
unary_expression
| '(' type_name ')' cast_expression
;
multiplicative_expression:
cast_expression
| multiplicative_expression '*' cast_expression
| multiplicative_expression '/' cast_expression
| multiplicative_expression '%' cast_expression
;
additive_expression:
multiplicative_expression
| additive_expression '+' multiplicative_expression
| additive_expression '-' multiplicative_expression
;
shift_expression:
additive_expression
| shift_expression LS additive_expression
| shift_expression RS additive_expression
;
relational_expression:
shift_expression
| relational_expression '<' shift_expression
| relational_expression '>' shift_expression
| relational_expression LE shift_expression
| relational_expression GE shift_expression
;
equality_expression:
relational_expression
| equality_expression EQ relational_expression
| equality_expression NE relational_expression
;
AND_expression:
equality_expression
| AND_expression '&' equality_expression
;
exclusive_OR_expression:
AND_expression
| exclusive_OR_expression '^' AND_expression
;
inclusive_OR_expression:
exclusive_OR_expression
| inclusive_OR_expression '|' exclusive_OR_expression
;
logical_AND_expression:
inclusive_OR_expression
| logical_AND_expression ANDAND inclusive_OR_expression
;
logical_OR_expression:
logical_AND_expression
| logical_OR_expression OROR logical_AND_expression
;
conditional_expression:
logical_OR_expression
| logical_OR_expression '?' comma_expression ':'
conditional_expression
;
assignment_expression:
conditional_expression
| unary_expression assignment_operator assignment_expression
;
assignment_operator:
'='
| MULTassign
| DIVassign
| MODassign
| PLUSassign
| MINUSassign
| LSassign
| RSassign
| ANDassign
| ERassign
| ORassign
;
comma_expression:
assignment_expression
| comma_expression ',' assignment_expression
;
constant_expression:
conditional_expression
;
/* The following was used for clarity */
comma_expression_opt:
/* Nothing */
| comma_expression
;
/******************************* DECLARATIONS *********************************/
/* The following is different from the ANSI C specified grammar.
The changes were made to disambiguate typedef's presence in
declaration_specifiers (vs. in the declarator for redefinition);
to allow struct/union/enum tag declarations without declarators,
and to better reflect the parsing of declarations (declarators
must be combined with declaration_specifiers ASAP so that they
are visible in scope).
Example of typedef use as either a declaration_specifier or a
declarator:
typedef int T;
struct S { T T;}; /* redefinition of T as member name * /
Example of legal and illegal statements detected by this grammar:
int; /* syntax error: vacuous declaration * /
struct S; /* no error: tag is defined or elaborated * /
Example of result of proper declaration binding:
int a=sizeof(a); /* note that "a" is declared with a type in
the name space BEFORE parsing the initializer * /
int b, c[sizeof(b)]; /* Note that the first declarator "b" is
declared with a type BEFORE the second declarator is
parsed * /
*/
declaration:
sue_declaration_specifier ';'
| sue_type_specifier ';'
| declaring_list ';'
| default_declaring_list ';'
;
/* Note that if a typedef were redeclared, then a declaration
specifier must be supplied */
default_declaring_list: /* Can't redeclare typedef names */
declaration_qualifier_list identifier_declarator {} initializer_opt
| type_qualifier_list identifier_declarator {} initializer_opt
| default_declaring_list ',' identifier_declarator {} initializer_opt
;

declaring_list:
declaration_specifier declarator {} initializer_opt
| type_specifier declarator {} initializer_opt
| declaring_list ',' declarator {} initializer_opt
;

declaration_specifier:
basic_declaration_specifier /* Arithmetic or void */
| sue_declaration_specifier /* struct/union/enum */
| typedef_declaration_specifier /* typedef*/
;

type_specifier:
basic_type_specifier /* Arithmetic or void */
| sue_type_specifier /* Struct/Union/Enum */
| typedef_type_specifier /* Typedef */
;

declaration_qualifier_list: /* const/volatile, AND storage class */
storage_class
| type_qualifier_list storage_class
| declaration_qualifier_list declaration_qualifier
;

type_qualifier_list:
type_qualifier
| type_qualifier_list type_qualifier
;

declaration_qualifier:
storage_class
| type_qualifier /* const or volatile */
;

type_qualifier:
CONST
| VOLATILE
;

basic_declaration_specifier: /*Storage Class+Arithmetic or void*/
declaration_qualifier_list basic_type_name
| basic_type_specifier storage_class
| basic_declaration_specifier declaration_qualifier
| basic_declaration_specifier basic_type_name
;

basic_type_specifier:
basic_type_name /* Arithmetic or void */
| type_qualifier_list basic_type_name
| basic_type_specifier type_qualifier
| basic_type_specifier basic_type_name
;

sue_declaration_specifier: /* Storage Class + struct/union/enum */
declaration_qualifier_list elaborated_type_name
| sue_type_specifier storage_class
| sue_declaration_specifier declaration_qualifier
;

sue_type_specifier:
elaborated_type_name /* struct/union/enum */
| type_qualifier_list elaborated_type_name
| sue_type_specifier type_qualifier
;

typedef_declaration_specifier: /*Storage Class + typedef types */
typedef_type_specifier storage_class
| declaration_qualifier_list TYPEDEFname
| typedef_declaration_specifier declaration_qualifier
;

typedef_type_specifier: /* typedef types */
TYPEDEFname
| type_qualifier_list TYPEDEFname
| typedef_type_specifier type_qualifier
;

storage_class:
TYPEDEF
| EXTERN
| STATIC
| AUTO
| REGISTER
;

basic_type_name:
INT
| CHAR
| SHORT
| LONG
| FLOAT
| DOUBLE
| SIGNED
| UNSIGNED
| VOID
;

elaborated_type_name:
aggregate_name
| enum_name
;

aggregate_name:
aggregate_key '{' member_declaration_list '}'
| aggregate_key identifier_or_typedef_name
'{' member_declaration_list '}'
| aggregate_key identifier_or_typedef_name
;

『陸』 如何才能編寫程序，需要什麼

簡單的說，編程就是為了藉助於計算機來達到某一目的或解決某個問題，而使用某種程序設計語言編寫程序代碼，並最終得到結果的過程。
計算機雖然功能十分強大。可以供你上網、打游戲、管理公司人事關系等等，但是沒有程序，它就等於是一堆廢鐵，不會理會我們對它下達的「命令」。於是，我們要馴服它，只有通過一種方式——程序，這也是我們和計算機溝通的唯一方式。

那程序到底是什麼呢？
程序也就是指令的集合，它告訴計算機如何執行特殊的任務。

打個比方說，它好比指導你烹調菜品的菜譜或指揮行駛一路到達目的地的交警（或者交通路標）。沒有這些特殊的指令，就不能執行預期的任務。計算機也一樣，當你想讓計算機為你做一件事情的時候，計算機本身並不能主動為我們工作，因此我們必須對它下達指令，而它根本不會也不可能聽懂人類自然語言對事情的描述，因此我們必須使用程序來告訴計算機做什麼事情以及如何去做？甚至對最簡單的任務也需要指令，例如如何取得擊鍵，怎樣在屏幕上放一個字母，怎樣在磁碟中保存文件等等。
這么麻煩，連這些東西編程都要考慮！怪不得人家說編程好難！你錯了，其實許多這樣的指令都是現成的，包含在處理晶元中內置於操作系統中，因此我們不必擔心它們工作，他們都是由處理器和操作系統來完成的，並不需要我們來干預這些過程。

上面講到的計算機本身不會主動的做任何事情。因此我們要通過程序的方式來讓計算機為我們「效勞」。而這個過程就是我們「編」出來的。編程可以使用某一種程序設計語言來實現，按照這種語言的語法來描述讓計算機要做的事情。

我們這里所講的語法和外語中的語法完全兩碼事，這里講的語法只是讀你的程序書寫做出一寫規定而已。

寫出程序後，再由特殊的軟體將你的程序解釋或翻譯成計算機能夠識別的「計算機語言」，然後計算機就可以「聽得懂」你的話了，並會按照你的吩咐去做事了。因此，編程實際上也就是「人給計算機出規則」這么一個過程。
隨計算機語言的種類非常的多，總的來說可以分成機器語言，匯編語言，高級語言三大類。
電腦每做的一次動作，一個步驟，都是按照已經用計算機語言編好的程序來執行，程序是計算機要執行的指令的集合，而程序全部都是用我們所掌握的語言來編寫的。所以人們要控制計算機一定要通過計算機語言向計算機發出命令。

計算機所能識別的語言只有機器語言，即由構成的代碼。但通常人們編程時，不採用機器語言，因為它非常難於記憶和識別。

目前通用的編程語言有兩種形式：匯編語言和高級語言。

匯編語言的實質和機器語言是相同的，都是直接對硬體操作，只不過指令採用了英文縮寫的標識符，更容易識別和記憶。它同樣需要編程者將每一步具體的操作用命令的形式寫出來。

匯編程序的每一句指令只能對應實際操作過程中的一個很細微的動作，例如移動、自增，因此匯編源程序一般比較冗長、復雜、容易出錯，而且使用匯編語言編程需要有更多的計算機專業知識，但匯編語言的優點也是顯而易見的，用匯編語言所能完成的操作不是一般高級語言所能實現的，而且源程序經匯編生成的可執行文件不僅比較小，而且執行速度很快。

高級語言是目前絕大多數編程者的選擇。和匯編語言相比，它不但將許多相關的機器指令合成為單條指令並且去掉了與具體操作有關但與完成工作無關的細節，例如使用堆棧、寄存器等，這樣就大大簡化了程序中的指令。由於省略了很多細節，所以編程者也不需要具備太多的專業知識。

高級語言主要是相對於匯編語言而言，它並不是特指某一種具體的語言，而是包括了很多編程語言，如目前流行的VB、VC、FoxPro、Delphi等，這些語言的語法、命令格式都各不相同。

(1)解釋類：執行方式類似於我們日常生活中的「同聲翻譯」，應用程序源代碼一邊由相應語言的解釋器「翻譯」成目標代碼(機器語言)，一邊執行，因此效率比較低，而且不能生成可獨立執行的可執行文件，應用程序不能脫離其解釋器，但這種方式比較靈活，可以動態地調整、修改應用程序。

(2)編譯類：編譯是指在應用源程序執行之前，就將程序源代碼「翻譯」成目標代碼(機器語言)，因此其目標程序可以脫離其語言環境獨立執行，使用比較方便、效率較高。但應用程序一旦需要修改，必須先修改源代碼，再重新編譯生成新的目標文件(*．OBJ)才能執行，只有目標文件而沒有源代碼，修改很不方便。現在大多數的編程語言都是編譯型的，例如Visual Basic、Visual C++、Visual Foxpro、Delphi等。
這個問題其實很簡單。前面我們講到，程序是人與計算機進行溝通的唯一方式，因此我們要讓計算機為我們服務，就必須有程序，而程序從哪裡來?當然是由我們編寫出來了。或許你又會問到另一個問題：現在要什麼程序有什麼程序，我幹嘛還要編程呢?這你就錯了，現在的程序雖然很多，需要什麼樣的程序直接到網上不需要很長時間就可以找到類似的，而且有可能就是你所需要的。但是，就好比去買衣服，雖然賣衣服的到處都是，但是哪一件是為你「量身定做」的呢！
程序還能夠做很多事情不同的程序可以完成不同的事情。從大的方面到管理國家的財務，小的方面管理家庭的帳務。

又如，如果你想要你的計算機能播放動畫，那麼你的計算機中也要有相應的動畫播放程序，下面所示的就是一個F1ssh動畫播放器。我們將會在後面的章節具體講述這個程序的編制過程。
隨著計算機的飛速發展，總會有那麼一天將不會編程的人列為「文盲」。你不希望吧?那麼就好好的學習一種程序設計語言吧。

編程會過時嗎

編程會過時嗎?這個問題，讓我先問你一個問題：計算機會消失嗎?這兩者答案是一樣的。知道了計算機會不會消失，就知道了編程會不會過時。

編程工具會過時，而編程卻不會過時

計算機系統由可以看見的硬倒：系統和看不見的軟體系統組成。要使計算機能夠正常的工作，僅僅有硬體系統是不行的，沒有軟倒系統(即沒有程序)的計算機可以說只是—堆廢鐵，什麼事情都幹不了。例如當你撰寫—篇文章的時候，你需要在操作系統中用文字編輯軟體來實現文字的輸入，但如果沒有這些文字輸入軟體的話，你是否想過如何向計算機中輸入文章呢?很難想像出如何在一個沒有任何軟體的計算機(我們稱之為裸機)上進行文字的輸入。而這些軟體其實就是通常我們所說的程序。

編程會過時嗎?我們從另一個角度來考慮這個問題，計算機有——天會消失嗎?如果有一天當世界上所有的事情處理都用不到計算機了，那麼計算機將會很快的消失，那時編程不僅過時了，而且也會隨之消失了。但是計算機會消失嗎?當然不會，如今計算機應用到每一領域，為人類的發展做出了不可估量的貢獻。試想一下如果有一天全世界的計算機突然消失了，那麼這個世界將變成什麼樣子，或許和全世界都停電了一樣恐怖，甚至還會有更大的損失。計算機的存在必須要有軟體系統來維持。因此編程永遠不會、也不可能會過時。

計算機程序設計語言發展到今天，已經從最原始的機器語言發展到如今可視化的集成開發環境，甚至集多種語言在同一開發平台上，像微軟的NET平台。回頭看看程序設計語言的發展史，不難看出對於編程來說，只會出現編程工具的過時，不會出現編程本身的過時。

不斷變化的技術需要不斷變化的程序員

從二十世紀60年代以後，計算機得到了突飛猛進的發展。似乎歷史上沒有任何一門科學的發展速度超過了計算機的發展，無論硬體、軟體、還是網路都以驚人的速度向前發展。計算機的硬體發展速度遵循「摩爾定律」每十八個月速度翻一倍(實際現在已超過了這個速度)。 軟體的發展速度和硬體一樣，二十世紀九十年代中國的軟體業還不是很成熟，而現在大大小小 的軟體企業四處聳立，共享軟體網上隨處可見。不斷發展的技術需要不斷變化的程序員，例如，如今Visual Basic可以快速構Windows下的應用程序，程序設計方面的技術不斷發展著，不斷引進新的概念、新的方法，如從結構化的C開始，當面向對象的思想被提出後，出現了C++，微軟在C++的基礎上為使用戶構建win32應用程序更加方便，推出了Visual C++。這也就需要程序員也要不斷的更新自己的技術。

計算機科學與別的學科很不一樣，不像語言學、歷史學那樣，幾乎是永久不變的東西。計算機科學要求不斷的更新自己的知識，否則很快就會被淘汰，即便是編程亦是如此。

編寫程序是一件很有趣的事情，因為編寫程序可以干很多高級的事情。例如我們在後面的章節中介紹如何使用Visual Basic編寫Flash動畫播放器，以及如何編寫下載軟體管理器等。如果你願意的話，你完全可以編寫出比這些更高級的程序來。

隨著計算機軟體業的發展，誕生了「程序員」這個職位。於是便形成了一種理念，編寫程 序的人就是程序員，因此編程是程序員的事情。但程序員並不是一開始就是程序員，他們也是從現在我們的位置慢慢成為程序員的。

編寫程序是一件很有趣的事情，因為編寫程序可以干很多高級的事情。例如我們在後面的章節中介紹如何使用Visual Basic編寫Flash動畫播放器，以及如何編寫下載軟體管理器等。如果你願意的話，你完全可以編寫出比這些更高級的程序來。

編程也可以作為——種愛好或興趣，如果你對它感興趣學起來就容易多了!因為如果對編程感興趣的話，就會多看些有關方面的書、多編些小程序上機實踐，這些對於學習編程的幫助是非常大的，而且隨著學習的進程不斷的推進就會覺得它並不是很困難，相反卻是很容易的。

總之，在學習編程時一定要堅持不懈，只要有信心、有毅力就一定能學好；不能因為一些似是而非的觀念就動搖了自己的信心。

我們一起來編程

面對擺在面前的計算機該如何操作，相信這個問題已經不再是困擾大家的首要問題了。現在軟體的種類那麼多，在選用的時候「電腦發燒友」的心裡是否也想過有一天自己能編寫一款屬於自己的軟體呢?想學習編程的朋友在選擇程序語言時會不會因為不知道如何選擇而大感頭痛呢?在不知如何下手的時候，朋友們的心中是不是會產生「我是不是可以編程」的思想呢?但是又有哪個程序員是不經過學習就能成功的呢!其實編寫程序並不是人們所想像的那麼困難、那麼復雜，每個有心致力於學習計算機的朋友都是可以嘗試的!

選擇適合自己的程序語言的必要性

目前常用的基本程序語言的種類比較繁多，比較簡單的有：Pascal、c語言、qBasic、 Fortran、Visual Basic等等。但前幾種都是在DOS下進行編程的工具，Visual Basic是在 Windows下進行應用程序設計的編程工具，現在一般的計算機用戶幾乎都不再使用DOS了，因此我們通常會選擇Visual Basic作為初學者的編程工具。Visual Basic是Windows應用程序設計中最容易上手的編程工具，學習步驟也比較容易被初學者接受。對於剛開始學習編程的初學者來說，還是選擇Visual Basic，學習編程語言不能想像著一步登天，一步一個腳印的學習才是最佳方法。

堅定自己學習編寫程序的信心

編寫程序並不是具有專業知識的人員才有的專利，每個學習計算機的人都可以編寫程序，每個人的靈感不同，在編寫程序的思路和作法上又有區別。但共同的想法就是編寫成功的程序。學習編程是一個漫長的過程，其中要付出艱辛的努力和汗水，不過成功者的喜悅又不是別人所能體會的。克服學習中的困難，努力去實踐，要有一個思想：別人能做到的事情自己也一定可以做到。計算機的普及讓更多的人有了學習的機會，也讓更多的人參與到編程人員的隊伍中來，每個人都有編程的權利，機遇給予每個人都是平等的。拿出自己必勝的信心，在編程的道路工勇於進取，相信成功就會在眼前。
三、我可以編程嗎
隨著計算機軟體業的發展，誕生了「程序員」這個職位。於是便形成了一種理念，編寫程 序的人就是程序員，因此編程是程序員的事情。但程序員並不是一開始就是程序員，他們也是從現在我們的位置慢慢成為程序員的。

編寫程序是一件很有趣的事情，因為編寫程序可以干很多高級的事情。例如我們在後面的章節中介紹如何使用Visual Basic編寫Flash動畫播放器，以及如何編寫下載軟體管理器等。如果你願意的話，你完全可以編寫出比這些更高級的程序來。

編程也可以作為——種愛好或興趣，如果你對它感興趣學起來就容易多了!因為如果對編程感興趣的話，就會多看些有關方面的書、多編些小程序上機實踐，這些對於學習編程的幫助是非常大的，而且隨著學習的進程不斷的推進就會覺得它並不是很困難，相反卻是很容易的。

總之，在學習編程時一定要堅持不懈，只要有信心、有毅力就一定能學好；不能因為一些似是而非的觀念就動搖了自己的信心。

四、我們一起來編程

面對擺在面前的計算機該如何操作，相信這個問題已經不再是困擾大家的首要問題了。現在軟體的種類那麼多，在選用的時候「電腦發燒友」的心裡是否也想過有一天自己能編寫一款屬於自己的軟體呢?想學習編程的朋友在選擇程序語言時會不會因為不知道如何選擇而大感頭痛呢?在不知如何下手的時候，朋友們的心中是不是會產生「我是不是可以編程」的思想呢?但是又有哪個程序員是不經過學習就能成功的呢!其實編寫程序並不是人們所想像的那麼困難、那麼復雜，每個有心致力於學習計算機的朋友都是可以嘗試的!

選擇適合自己的程序語言的必要性

目前常用的基本程序語言的種類比較繁多，比較簡單的有：Pascal、c語言、qBasic、 Fortran、Visual Basic等等。但前幾種都是在DOS下進行編程的工具，Visual Basic是在 Windows下進行應用程序設計的編程工具，現在一般的計算機用戶幾乎都不再使用DOS了，因此我們通常會選擇Visual Basic作為初學者的編程工具。Visual Basic是Windows應用程序設計中最容易上手的編程工具，學習步驟也比較容易被初學者接受。對於剛開始學習編程的初學者來說，還是選擇Visual Basic，學習編程語言不能想像著一步登天，一步一個腳印的學習才是最佳方法。

堅定自己學習編寫程序的信心

編寫程序並不是具有專業知識的人員才有的專利，每個學習計算機的人都可以編寫程序，每個人的靈感不同，在編寫程序的思路和作法上又有區別。但共同的想法就是編寫成功的程序。學習編程是一個漫長的過程，其中要付出艱辛的努力和汗水，不過成功者的喜悅又不是別人所能體會的。克服學習中的困難，努力去實踐，要有一個思想：別人能做到的事情自己也一定可以做到。計算機的普及讓更多的人有了學習的機會，也讓更多的人參與到編程人員的隊伍中來，每個人都有編程的權利，機遇給予每個人都是平等的。拿出自己必勝的信心，在編程的道路工勇於進取，相信成功就會在眼前。
一、計算機語言的發展過程

到目前為止，世界上公布的程序設計語言有上千種之多，常用的也有三十來種，為了有21於正確選擇和使用它們，下面我們做一個簡單介紹。

(1)匯編語言：

它是依賴於具體計算機的語言，用它編寫出的程序，執行效率高，但是只在一些特殊要求或特殊的場合才使用它。

(2)高級語言：

大家可能都聽過使用高級語言進行程序設計，但由於對其並不了解，所以總認為這些是很高深的東西。其實並非如此，學習了後面的章節，相信同學會產生編程原來不過如此。

但計算機是不懂得自然語言的(可以理解為高級語言)，而高級語言設計出來的程序如何讓計算機去執行呢?其實很簡單，看了下圖後相信大家會明白許多。

現在我們就向大家介紹幾種常見的高級語言：

Fortran語言是科學和工程計算中使用的主要編程語言。目前國內使用版本多數是Fortran 66和Fortran77兩種。Fortran語言的主要缺點是不能直接支持結構化編程。

Cob0l語言是商業數據處理中廣泛使用的語言。由於它本身結構上的特點，使得它能有效的支持與商業處理有關的、范圍廣泛的過程技術。它的缺點是不簡潔。

Algol語言是所有結構化語言的先驅，具有豐富的過程和數據結構。但是，這種語言並沒有被廣泛採用，主要是由於它本身的歷史原因所造成的。

Basic語言是一種解釋執行的會話語言。由於它簡單易學的特點，它被廣泛應用在微型計算機系統中。

PL／／1語言是一個用途廣泛的語言。能支持通常的科學工程和商業應用，能描述復雜的數據結構、多重任務處理、復雜的輸入輸出和表格處理等。

Pascal語言是70年代初期發展起來的結構化程序設計語言，具有特別豐富的數據結構類型。它自問世後，得到了眾人的贊賞，也得到了軟體開發者的廣泛支持。Pascal語言已用於科學、工程和系統程序設計中。我們教育部計算機專業教育會議曾把Pascal語言定為計算機專業程序設計語言。

C語言是作為UNIX操作系統的主要使用語言。由於UNIX操作系統的成功，現在C語言也得到了廣泛的使用。C語言是有經驗的軟體工程師設計的，它具有很強的功能，以及高度的靈活性。它和其他的結構化語言一樣，能提供豐富的數據類型、廣泛使用的指針以及—組很豐富的計算和數據處理使用的運算符。

C++語言是C語言的擴充。在1980年，貝爾實驗室的Bjarne Strotstrup博士及其同事開始對C語言進行改進和擴充，最初被稱為「帶類的C」，1983年才取名為C++。以及不斷完善和發展，成為目前的C++語言。一方面，它將C語言作為它的子集，使它能夠與C語言兼容。使許多C語言代碼不經修改就可以為C++語言所用以及用C語言編寫的眾多庫函數和和實用軟體可以直接用於C++語言中；另一方面。C++語言支持面向對象的程序設計這是它對C語言最重要的改進。

『柒』 遞歸下降分析方法是一種（50）方法。

【答案】：B
本題考查編譯原理知識點。遞歸下降法（RecursiveDescentMethod），是指對文法的每一非終結符號，都根據相應產生式各候選式的結構，為其編寫一個子程序（或函數），用來識別該非終結符號所表示的語法范疇。遞歸下降法是一種語法分析方法，下降即自上而下之意。本題選擇B選項。

『捌』 編譯原理試題·

Lex和Yacc應用方法(一).初識Lex
草木瓜 20070301
Lex(Lexical Analyzar 詞法分析生成器)，Yacc(Yet Another Compiler Compiler
編譯器代碼生成器)是Unix下十分重要的詞法分析，語法分析的工具。經常用於語言分
析，公式編譯等廣泛領域。遺憾的是網上中文資料介紹不是過於簡單，就是跳躍太大，
入門參考意義並不大。本文通過循序漸進的例子，從0開始了解掌握Lex和Yacc的用法。

一.Lex(Lexical Analyzar) 初步示例
先看簡單的例子(註：本文所有實例皆在RetHat Linux下完成):
一個簡單的Lex文件 exfirst.l 內容：
%{
#include "stdio.h"
%}
%%
[\n] ;
[0-9]+ printf("Int : %s\n",yytext);
[0-9]*\.[0-9]+ printf("Float : %s\n",yytext);
[a-zA-Z][a-zA-Z0-9]* printf("Var : %s\n",yytext);
[\+\-\*\/\%] printf("Op : %s\n",yytext);
. printf("Unknown : %c\n",yytext[0]);
%%
在命令行下執行命令flex解析，會自動生成lex.yy.c文件：
[root@localhost liweitest]flex exfirst.l
進行編譯生成parser可執行程序：
[root@localhost liweitest]cc -o parser lex.yy.c -ll
[注意：如果不加-ll鏈結選項，cc編譯時會出現以下錯誤，後面會進一步說明。]
/usr/lib/gcc-lib/i386-redhat-linux/3.2.2/../../../crt1.o(.text+0x18): In function `_start':
../sysdeps/i386/elf/start.S:77: undefined reference to `main'
/tmp/cciACkbX.o(.text+0x37b): In function `yylex':
: undefined reference to `yywrap'
/tmp/cciACkbX.o(.text+0xabd): In function `input':
: undefined reference to `yywrap'
collect2: ld returned 1 exit status

創建待解析的文件 file.txt：
title
i=1+3.9;
a3=909/6
bcd=4%9-333
通過已生成的可執行程序，進行文件解析。
[root@localhost liweitest]# ./parser < file.txt
Var : title
Var : i
Unknown : =
Int : 1
Op : +
Float : 3.9
Unknown : ;
Var : a3
Unknown : =
Int : 909
Op : /
Int : 6
Var : bcd
Unknown : =
Int : 4
Op : %
Int : 9
Op : -
Int : 333
到此Lex用法會有個直觀的了解：
1.定義Lex描述文件
2.通過lex，flex工具解析成lex.yy.c文件
3.使用cc編譯lex.yy.c生成可執行程序

再來看一個比較完整的Lex描述文件 exsec.l ：

%{
#include "stdio.h"
int linenum;
%}
%%
title showtitle();
[\n] linenum++;
[0-9]+ printf("Int : %s\n",yytext);
[0-9]*\.[0-9]+ printf("Float : %s\n",yytext);
[a-zA-Z][a-zA-Z0-9]* printf("Var : %s\n",yytext);
[\+\-\*\/\%] printf("Op : %s\n",yytext);
. printf("Unknown : %c\n",yytext[0]);
%%
showtitle()
{
printf("----- Lex Example -----\n");
}
int main()
{
linenum=0;
yylex(); /* 進行分析 */
printf("\nLine Count: %d\n",linenum);
return 0;
}
int yywrap()
{
return 1;
}
進行解析編譯：
[root@localhost liweitest]flex exsec.l
[root@localhost liweitest]cc -o parser lex.yy.c
[root@localhost liweitest]./parser < file.txt
----- Lex Example -----
Var : i
Unknown : =
Int : 1
Op : +
Float : 3.9
Unknown : ;
Var : a3
Unknown : =
Int : 909
Op : /
Int : 6
Var : bcd
Unknown : =
Int : 4
Op : %
Int : 9
Op : -
Int : 333
Line Count: 4
這里就沒有加-ll選項，但是可以編譯通過。下面開始著重整理下Lex描述文件.l。

二.Lex(Lexical Analyzar) 描述文件的結構介紹
Lex工具是一種詞法分析程序生成器，它可以根據詞法規則說明書的要求來生成單詞識
別程序，由該程序識別出輸入文本中的各個單詞。一般可以分為<定義部分><規則部
分><用戶子程序部分>。其中規則部分是必須的，定義和用戶子程序部分是任選的。

(1)定義部分
定義部分起始於 %{ 符號，終止於 %} 符號，其間可以是包括include語句、聲明語句
在內的C語句。這部分跟普通C程序開頭沒什麼區別。
%{
#include "stdio.h"
int linenum;
%}
(2) 規則部分
規則部分起始於"%%"符號，終止於"%%"符號，其間則是詞法規則。詞法規則由模式和
動作兩部分組成。模式部分可以由任意的正則表達式組成，動作部分是由C語言語句組
成，這些語句用來對所匹配的模式進行相應處理。需要注意的是，lex將識別出來的單
詞存放在yytext[]字元數據中，因此該數組的內容就代表了所識別出來的單詞的內容。
類似yytext這些預定義的變數函數會隨著後面內容展開一一介紹。動作部分如果有多
行執行語句，也可以用{}括起來。
%%
title showtitle();
[\n] linenum++;
[0-9]+ printf("Int : %s\n",yytext);
[0-9]*\.[0-9]+ printf("Float : %s\n",yytext);
[a-zA-Z][a-zA-Z0-9]* printf("Var : %s\n",yytext);
[\+\-\*\/\%] printf("Op : %s\n",yytext);
. printf("Unknown : %c\n",yytext[0]);
%%
A.規則部分的正則表達式
規則部分是Lex描述文件中最為復雜的一部分，下面列出一些模式部分的正則表達式字
符含義：
A-Z, 0-9, a-z 構成模式部分的字元和數字。
- 指定范圍。例如：a-z 指從 a 到 z 之間的所有字元。
\ 轉義元字元。用來覆蓋字元在此表達式中定義的特殊意義，
只取字元的本身。

[] 表示一個字元集合。匹配括弧內的任意字元。如果第一個字
符是^那麼它表示否定模式。例如: [abC] 匹配 a, b, 和C
的任何一個。

^ 表示否定。
* 匹配0個或者多個上述模式。
+ 匹配1個或者多個上述模式。
? 匹配0個或1個上述模式。
$ 作為模式的最後一個字元時匹配一行的結尾。
{ } 表示一個模式可能出現的次數。 例如: A{1,3} 表示 A 可
能出現1次或3次。[a-z]{5} 表示長度為5的，由a-z組成的
字元。此外，還可以表示預定義的變數。

. 匹配任意字元，除了 \n。
( ) 將一系列常規表達式分組。如：{Letter}({Letter}|{Digit})*
| 表達式間的邏輯或。
"一些符號" 字元的字面含義。元字元具有。如："*" 相當於 [\*]。
/ 向前匹配。如果在匹配的模式中的"/"後跟有後續表達式，
只匹配模版中"/"前面的部分。如：模式為 ABC/D 輸入 ABCD，
時ABC會匹配ABC/D，而D會匹配相應的模式。輸入ABCE的話，
ABCE就不會去匹配ABC/D。

B.規則部分的優先順序

規則部分具有優先順序的概念，先舉個簡單的例子：

%{
#include "stdio.h"
%}
%%
[\n] ;
A {printf("ONE\n");};
AA {printf("TWO\n");};
AAAA {printf("THREE\n");};
%%
此時，如果輸入內容：
[root@localhost liweitest]# cat file1.txt
AAAAAAA
[root@localhost liweitest]# ./parser < file1.txt
THREE
TWO
ONE
Lex分析詞法時，是逐個字元進行讀取，自上而下進行規則匹配的，讀取到第一個A字元
時，遍歷後發現三個規則皆匹配成功，Lex會繼續分析下去，讀至第五個字元時，發現
"AAAA"只有一個規則可用，即按行為進行處理，以此類推。可見Lex會選擇最長的字元
匹配規則。
如果將規則
AAAA {printf("THREE\n");};
改為
AAAAA {printf("THREE\n");};
./parser < file1.txt 輸出結果為：
THREE
TWO

再來一個特殊的例子：
%%
title showtitle();
[a-zA-Z][a-zA-Z0-9]* printf("Var : %s\n",yytext);
%%
並輸入title，Lex解析完後發現，仍然存在兩個規則，這時Lex只會選擇第一個規則，下面
的則被忽略的。這里就體現了Lex的順序優先順序。把這個例子稍微改一下：
%%
[a-zA-Z][a-zA-Z0-9]* printf("Var : %s\n",yytext);
title showtitle();
%%
Lex編譯時會提示：warning, rule cannot be matched.這時處理title字元時，匹配
到第一個規則後，第二個規則就無效了。
再把剛才第一個例子修改下，加深下印象！
%{
#include "stdio.h"
%}
%%
[\n] ;
A {printf("ONE\n");};
AA {printf("TWO\n");};
AAAA {printf("THREE\n");};
AAAA {printf("Cannot be executed!");};
./parser < file1.txt 顯示效果是一樣的，最後一項規則肯定是會忽略掉的。

C.規則部分的使用變數
且看下面示例：
%{
#include "stdio.h"
int linenum;
%}
int [0-9]+
float [0-9]*\.[0-9]+
%%
{int} printf("Int : %s\n",yytext);
{float} printf("Float : %s\n",yytext);
. printf("Unknown : %c\n",yytext[0]);
%%
在%}和%%之間，加入了一些類似變數的東西，注意是沒有;的，這表示int，float分
別代指特定的含義，在兩個%%之間，可以通過{int}{float}進行直接引用，簡化模
式定義。

(3) 用戶子程序部分
最後一個%%後面的內容是用戶子程序部分，可以包含用C語言編寫的子程序，而這些子
程序可以用在前面的動作中，這樣就可以達到簡化編程的目的。這里需要注意的是，
當編譯時不帶-ll選項時，是必須加入main函數和yywrap(yywrap將下後面說明)。如：
...
%%
showtitle()
{
printf("----- Lex Example -----\n");
}
int main()
{
linenum=0;
yylex(); /* 進行Lex分析 */
printf("\nLine Count: %d\n",linenum);
return 0;
}
int yywrap()
{
return 1;
}

三.Lex(Lexical Analyzar) 一些的內部變數和函數
內部預定義變數：
yytext char * 當前匹配的字元串
yyleng int 當前匹配的字元串長度
yyin FILE * lex當前的解析文件，默認為標准輸出
yyout FILE * lex解析後的輸出文件，默認為標准輸入
yylineno int 當前的行數信息
內部預定義宏：
ECHO #define ECHO fwrite(yytext, yyleng, 1, yyout) 也是未匹配字元的
默認動作

內部預定義的函數：
int yylex(void) 調用Lex進行詞法分析
int yywrap(void) 在文件(或輸入)的末尾調用。如果函數的返回值是1，就停止解
析。 因此它可以用來解析多個文件。代碼可以寫在第三段，這
樣可以解析多個文件。 方法是使用 yyin 文件指針指向不同的
文件，直到所有的文件都被解析。最後，yywrap() 可以返回1
來表示解析的結束。

lex和flex都是解析Lex文件的工具，用法相近，flex意為fast lexical analyzer generator。
可以看成lex的升級版本。

相關更多內容就需要參考flex的man手冊了，十分詳盡。

四.關於Lex的一些綜述
Lex其實就是詞法分析器，通過配置文件*.l，依據正則表達式逐字元去順序解析文件，
並動態更新內存的數據解析狀態。不過Lex只有狀態和狀態轉換能力。因為它沒有堆棧，
它不適合用於剖析外殼結構。而yacc增加了一個堆棧，並且能夠輕易處理像括弧這樣的
結構。Lex善長於模式匹配，如果有更多的運算要求就需要yacc了。