編譯原理語法制導翻譯的定義

⑴ 編譯原理學了有什麼用

對大多數人來說，學過編譯原理，應該可以知道對於很多代碼的優化，編譯器其實可以做好，不需要自己寫代碼的時候杞人憂天。在通用、局部的優化上，甚至編譯器往往做得比程序員好。

大概率會意識到編譯原理背後的故事，也許會沉迷在某個方向，也許還會樂於看一些奇妙的parser構建方式。

大概還可能會去學習類型系統，發現形式化的故事似乎在很多方面都有對應的版本，而後，他們也許會嘗試走向研究，去挑戰目前都沒有好好解決的代碼優化問題，也許會走向應用，用起LLVM，在上面加個target，支持一些新硬體，做個新語言的前端等。

編譯原理是計算機專業的一門重要專業課，旨在介紹編譯程序構造的一般原理和基本方法。內容包括語言和文法、詞法分析、語法分析、語法制導翻譯、中間代碼生成、存儲管理、代碼優化和目標代碼生成。 編譯原理是計算機專業設置的一門重要的專業課程。

編譯原理課程是計算機相關專業學生的必修課程和高等學校培養計算機專業人才的基礎及核心課程，同時也是計算機專業課程中最難及最挑戰學習能力的課程之一。編譯原理課程內容主要是原理性質，高度抽象。

編譯可以分為五個基本步驟:詞法分析、語法分析、語義分析及中間代碼的生成、優化、目標代碼的生成。這是每個編譯器都必須的基本步驟和流程, 從源頭輸入高級語言源程序輸出目標語言代碼。

1、詞法分析

詞法分析器是通過詞法分析程序對構成源程序的字元串從左到右的掃描, 逐個字元地讀, 識別出每個單詞符號, 識別出的符號一般以二元式形式輸出, 即包含符號種類的編碼和該符號的值。

詞法分析器一般以函數的形式存在, 供語法分析器調用。當然也可以一個獨立的詞法分析器程序存在。完成詞法分析任務的程序稱為詞法分析程序或詞法分析器或掃描器。

2、語法分析

語法分析是編譯過程的第二個階段。這階段的任務是在詞法分析的基礎上將識別出的單詞符號序列組合成各類語法短語, 如「語句」, 「表達式」等.語法分析程序的主要步驟是判斷源程序語句是否符合定義的語法規則, 在語法結構上是否正確。

而一個語法規則又稱為文法, 喬姆斯基將文法根據施加不同的限制分為0型、1型、2型、3型文法, 0型文法又稱短語文法, 1型稱為上下文有關文法, 2型稱為上下文無關文法, 3型文法稱為正規文法, 限制條件依次遞增。

3、語義分析

詞法分析注重的是每個單詞是否合法, 以及這個單詞屬於語言中的哪些部分。語法分析的上下文無關文法注重的是輸入語句是否可以依據文法匹配產生式。

那麼, 語義分析就是要了解各個語法單位之間的關系是否合法。實際應用中就是對結構上正確的源程序進行上下文有關性質的審查, 進行類型審查等。

4、中間代碼生成與優化

在進行了語法分析和語義分析階段的工作之後, 有的編譯程序將源程序變成一種內部表示形式, 這種內部表示形式叫做中間語言或中間表示或中間代碼。

所謂「中間代碼」是一種結構簡單、含義明確的記號系統, 這種記號系統復雜性介於源程序語言和機器語言之間, 容易將它翻譯成目標代碼。另外, 還可以在中間代碼一級進行與機器無關的優化。

5、目標代碼的生成

根據優化後的中間代碼, 可生成有效的目標代碼。而通常編譯器將其翻譯為匯編代碼, 此時還需要將匯編代碼經匯編器匯編為目標機器的機器語言。

6、出錯處理

編譯的各個階段都有可能發現源碼中的錯誤, 尤其是語法分析階段可能會發現大量的錯誤, 因此編譯器需要做出錯處理, 報告錯誤類型及錯誤位置等信息。

⑵ 編譯原理

編譯原理是計算機專業的一門重要專業課，旨在介紹編譯程序構造的一般原理和基本方法。內容包括語言和文法、詞法分析、語法分析、語法制導翻譯、中間代碼生成、存儲管理、代碼優化和目標代碼生成。

⑶ 什麼是語法制導翻譯

語法制導翻譯簡稱SDT,基於屬性文法的處理過程，對單詞符號串進行語法分析，構造語法分析樹，然後根據需要構造屬性依賴圖，遍歷語法樹並在語法樹的各結點處按語義規則進行計算。

基本思想是，根據翻譯的需要設置文法符號的屬性，以描述語法結構的語義。例如，一個變數的屬性有類型，層次，存儲地址等。表達式的屬性有類型，值等。屬性值的計算和產生式相聯系。隨著語法分析的進行，執行屬性值的計算，完成語義分析和翻譯的任務。

元編譯器

早期元編譯器在其描述中使用了語法驅動翻譯和語法制導翻譯這兩個術語。在其輸出代碼中具有元編程的語言特性，參見元編譯器、META II以及TREE-META。

語法中的每個符號可以有一個屬性，即一個將被關聯到符號的值。常見的屬性可能包含變數類型、表達式的值，等等。 給出一個符號X和一個屬性t，符號的屬性可以通過X.t來引用。

以上內容參考網路-語法制導翻譯

⑷ 什麼是編譯原理

編譯原理是計算機專業的一門重要專業課，旨在介紹編譯程序構造的一般原理和基本方法。內容包括語言和文法、詞法分析、語法分析、語法制導翻譯、中間代碼生成、存儲管理、代碼優化和目標代碼生成。 編譯原理是計算機專業設置的一門重要的專業課程。雖然只有少數人從事編譯方面的工作，但是這門課在理論、技術、方法上都對學生提供了系統而有效的訓練，有利於提高軟體人員的素質和能力。
這門課程關注的是編譯器方面的產生原理和技術問題，似乎和計算機的基礎領域不沾邊，可是編譯原理卻一直作為大學本科的 必修課程，同時也成為了研究生入學考試的必考內容。編譯原理及技術從本質上來講就是一個演算法問題而已，當然由於這個問題十分復雜，其解決演算法也相對復雜。 我們學的數據結構與演算法分析也是講演算法的，不過講的基礎演算法，換句話說講的是演算法導論，而編譯原理這門課程講的就是比較專註解決一種的演算法了。在20世紀 50年代，編譯器的編寫一直被認為是十分困難的事情，第一Fortran的編譯器據說花了18年的時間才完成。在人們嘗試編寫編譯器的同時，誕生了許多跟 編譯相關的理論和技術，而這些理論和技術比一個實際的編譯器本身價值更大。就猶如數學家們在解決著名的哥德巴赫猜想一樣，雖然沒有最終解決問題，但是其間 誕生不少名著的相關數論。

⑸ 編譯原理這門課程第四章語法制導的翻譯的知識點有哪些

編譯原理這門課第四章語法制導的翻譯的知識點包含章節導引,第一節語法制導的翻譯,第二節S屬性定義的自下而上計算,第三節L屬性定義的自上而下計算,第四節L屬性的自下而上計算,課後練習,。

⑹ 編譯原理課程講什麼內容

《編譯原理》課程介紹編譯器構造的一般原理和基本實現方法，主要介紹編譯器的各個階段：詞法分析、語法分析、語義分析、中間代碼生成、代碼優化和目標代碼生成。本課程在介紹命令式程序設計語言實現技術的同時，強調一些相關的理論知識，如形式語言和自動機理論、語法制導的定義和屬性文法、類型論等。它們是計算機專業理論知識的重要一部分，在本書中結合應用來介紹這些知識，有助於學生較快領會和掌握。本課程強調形式化描述技術，並以語法制導定義作為翻譯的主要描述工具。本課程強調對編譯原理和技術在宏觀上的理解，作為原理性的教學，本課程主要介紹基本的理論和方法，不偏向於某種源語言或目標機器。

⑺ 語法制導翻譯是哪層的如題 語法制導翻譯是不是屬於編譯原理的語義分析裡面的也就是語法分析的下層

順序是詞法分析，語法分析和語義分析，語義分析最高級，語法制導翻譯屬於最高的語義分析～

⑻ 編譯原理全部的名詞解釋

書上有別那麼懶！。。。。
編譯過程的六個階段：詞法分析，語法分析，語義分析，中間代碼生成，代碼優化，目標代碼生成
解釋程序：把某種語言的源程序轉換成等價的另一種語言程序——目標語言程序，然後再執行目標程序。解釋方式是接受某高級語言的一個語句輸入，進行解釋並控制計算機執行，馬上得到這句的執行結果，然後再接受下一句。
編譯程序：就是指這樣一種程序，通過它能夠將用高級語言編寫的源程序轉換成與之在邏輯上等價的低級語言形式的目標程序(機器語言程序或匯編語言程序)。
解釋程序和編譯程序的根本區別：是否生成目標代碼
句子的二義性（這里的二義性是指語法結構上的。）:文法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)刪除無用賦值
基本塊定義
程序中只有一個入口和一個出口的一段順序執行的語句序列，稱為程序的一個基本塊。

給我分數啊。。。

⑼ 編譯原理 改寫SDT 語法制導翻譯

怎麼沒人答啊...我們的作業題==

⑽ 語法制導翻譯

第五章 語法制導翻譯

5.1 計算語義規則的方法

1 .分析樹法: 輸入串----分析樹----依賴圖----計算次序

2. 基於規則的方法： 在構造編譯器時，用手工或專門的工具來分析語義規則,確定屬性值的計算順序。

3. 忽略語義規則的方法：在分析過程中翻譯，那麼計算順序由分析方法來確定而表面上與語義規則無關。實際上，限制語法制導定義，使屬性值的計算順序能和語法分析過程同步進行。

5.2 語法樹

表示程序層次結構的樹，它 把分析樹中對語義無關緊要的成分去掉，是分析樹的抽象形 式 ， 也稱作語法結構樹，或結構樹。

語法樹是常用的一種中間表示形式。

C sg++

把語法分析和翻譯分開。語法分析過程中完成翻譯有許多優點，但也有一些不足：1.適於語法分析的文法可能不完全反映語言成分的自然層次結構；2. 語法分析方法限制，對分析樹結點的訪問序和翻譯需要的訪問序不一致。

5.3 L-屬性定義

語法分析過程中進行語義分析和翻譯，屬 性的計算順序受到語法分析建立分析樹結點順序的限制。

一種自然的計算屬性的順序是按深度優先訪問分析樹結點的順序，它適應多種自底向上和自頂向下的翻譯方法。

L-屬性定義 可用於按深度優先順序計算屬性值。

定義：一個語法制導定義是L-屬性定義，如果"A→X1X2…XnÎP,其每一個語義規則中的每一個屬性都是一個綜合屬性，或是Xj(1£j £ n)的一個繼承屬性，這個繼承屬性僅依賴於

1. 產生式中Xj的左邊符號X1，X2，…Xj-1的屬性；

2．A的繼承屬性。

每一個S-屬性定義都是L-屬性定義

5.4 翻譯模式定義

翻譯模式是語法制導定義的一種便於翻譯的書寫形式。其中屬性與文法符號相對應，語義規則或語義動作用花括弧｛ ｝括起來，可被插入到產生式右部的任何合適的位置上。

這是一種語法分析和語義動作交錯的表示法，他表達在按深度優先遍歷分析樹的過程中何時執行語義動作。

翻譯模式給出了使用語義規則進行計算的順序。可看成是分析過程中翻譯的注釋。

5.5 類型表達式定義

類型表達式的定義如下：
1） 類型名和基本類型是類型表達式。integer、char、real、boolean是基本類型，所以它們是類型表達式。另外，void表示「無類型」，type_error表示「出錯類型」，它們也是類型表達式。

2）類型構造符作用於類型表達式的結果仍然是類型表達式。類型構造符包括：
a）數組構造符ARRAY：若T是類型表達式，則ARRAY（I,T）是類型表達式。
b）笛卡兒乘積´：若T1、T2是類型表達式，則T1´ T2是類型表達式，且´是左結合。
c）記錄類型構造符RECORD：若有標識符N1、N2……、Nn與類型表達式T1、T2、…、Tn， 則RECORD（（N1 ´ T1） ´（N2 ´ T2）´ …´ （Nn ´ Tn））是一個類型表達式，它指稱一個記錄類型。

d）指針類型構造符POINTER：若T是類型 表達式，則POINTER（T）是類型表達式，它指稱一個指針類型。
e）函數類型構造符→：若D1、D2、…、Dn和R是類型表達式，則D1´D2 ´ ……´ Dn

→R是類型表達式，其中´優先於→，它指稱從定義域類型D1 ´ D2 ´ … ´ Dn到值域類型R

的映射。
3） 類型表達式中可出現類型變數，變數值是類型表達式。