第二+三章习题解答.doc.doc

第二章 習題 ? 非選擇題 1. 假有以下之文法產生規則： S→aBcB→bXbB→bXX→aX→ab (a) 字串“ababc”是否可由以上文法產生？ (b) 以上文法產生規則是否是ambiguous？ (c) 寫出以上文法產生規則所定義之所有字串。【解】 (a) “ababc”可由以上文法產生規則導出。 (b) 以上文法產生規則是ambiguous，理由如下：以“ababc”為例，可得以下二種推導方式：(a) S→aBc→abXbc→ababc(b) S→aBc→abXc→ababc因此，得證。 (c) 所有的可能推導方式如下：(a) S→aBc→abXbc→ababc(b) S→aBc→abXbc→ababbc(c) S→aBc→abXc→ababc(d) S→aBc→abXc→abac 所有可能之string為ababc、ababbc及abac三種。 2. 根據題目之文法產生規則，寫出以下敘述的推導方法。 A pretty book had a happy Marysentence::= noun phraseverb phrasenoun phrase::= articleadjectivename∣article adjective nounverb phrase::= verb∣verbnoun phrasename::= John∣Marynoun::= book∣peanut∣friendadjective::= happy∣pretty∣tastyarticle::= a∣theverb::= ate∣loved∣had【解】 3. 請解釋下列名詞： (1) 關鍵字(key word) (2) 保留字(reserved word) (3) 懸置指標(dangling pointer) (4) 懸置標記引用(dangling label reference)【解】 (1) 關鍵字：具有特殊意義的字，但使用者可以重新定義。 (2) 保留字：具有特殊意義的字，但不能由使用者所重新定義者。如Pascal語言中的begin、end、var、type、const、case、repeat、until、while、if、then及else等等，另外使用Reserved word具有數項優點；如可提高程式的可讀性，並可提高Compiler搜尋Symbol table的速度，最重要的是可便利程式的除錯。至於其缺點則是程式設計師必須花費額外的功夫來記憶Reserved word，且程式的擴充性將降低。 (3) 懸置指標：指標變數指到一個已經不存在的記憶體空間稱此現象為懸置指標。 (4) 懸置標記引用：欲用一個已經離開其Scope的label便可稱為懸置標記引用。 4. 剖析樹(parse tree)的樹葉節點是否有特殊意義？【解】終端符號是剖析樹的樹葉節點(leaf nodes)。 5. 就下列定義的貝氏正式(BNF)，寫出剖析下列運算式(expression)後所得的剖析樹(parsing tree)，或指出其為語法錯誤(syntax error)。 貝式正式:ep::=epoptt∣ttop::=＋∣*tt::=cc∣llnncc::=T∣Fnn::=0∣1ll::=I∣J∣K∣L∣M∣N 運算式 (1) K1*I0+T*L1+M0*F+M1 (2) L1*(J0+M1)+I1【解】 (1) (2) 語法錯誤：因為BNF語法定義中，並未定義左括號(與右括號)，所以無法根據題意的BNF規則將L1*(J0+M1)+Il轉換成相對應的剖析樹。 6. 設有一語言以EBNF (Extended Backus-Naur Form)規則式定義如下： bin-num :: = [digit] three-ones[digit]　　three-ones :: = 111　　digit :: = 0 | 1 | 0 bin-num | 1 bin-num 請指出以下四個式子，何者符合上述的文法規定： (1) 0000111111010 (2) 1111110 (3) 0011000101011 (4) 0110111011111【解】全部皆無法推導出來。 7. 一個EBNF(Extended Backus-Naur Form)規則定義如下： sequence::= A{B|C} [D] (1) 請列出所有由1個、2個或3個字元所構成合乎上述文法規定之述句(sentence)。 (2) 請將上述EBNF規則定義，轉換成BNF規則定義。【解】 (1) 一個字元：A二個字元：AB、AC及AD三個字元：ABB、A