（1）審查每一個語法結構的靜態語義，即驗證語法正確的結構是否有意義。如：賦值語句：x:=x+y,左邊變數型別與右邊變數型別是否一致；（2）在語義正確的基礎上生成一種中間程式碼或目的碼。

2.語義分析的範圍
（1）確定型別：確定識別符號所關聯的資料型別。
（2）型別檢查：按語言的型別規則，檢查運算的合法性與運算分量型別的一致性，必要時作型別轉換。

（3）識別含義：根據語言的語義定義（形式或非形式），識別程式中各構造成分組合到一起的含義，並作相應的語義處理（生成中間程式碼或目的碼）。

（4）控制流檢查：控制流語句必須轉移到合法的地方。如C中，break語句規定跳出最內層的迴圈或switch語句。

（5）一致性檢查：在很多場合要求物件只能被說明一次。如：pascal語言規定同一個識別符號在一個分程式中只能被說明一次等。（6）相關名字檢查：如：Ada，迴圈或塊可以有一個名字，它出現在這些結構的開頭或結尾。編譯程式必須檢查這兩個地方用的名字是否相同。

其它：如名字的作用域分析等也是語義分析的工作。

3.說明語句的翻譯： 程式語言中的說明語句都是給編譯程式提供資訊的，諸如型別、維數、每維的界種類等，因此一般不生成目標，只是在編譯時把有關資訊填入相應表格即可。

 （1）簡單說明句：用一個基本字來定義一串名字，其語法描述一般為：
     D→integer namelist∣real namelist
     namelist→namelist,i∣i
     直接用這種文法來制導翻譯有點麻煩，就是隻能在把所有名字規約成namelist之後才能把性質登記到符號表中。這就意味著在掃描名字時，應把名字用一個佇列（或棧）儲存起來，然後再處理。
我們可以對文法稍做改動，就可以免去建立佇列或棧的過程。修改文法如下：     

           D→D,i∣integer i∣real i

（2）陣列說明

4.陣列元素的地址計算公式： 若陣列A的元素存放在一片連續單元裡，則可以較容易的訪問陣列的每個元素。假定陣列的每個元素的寬度為w，則一維陣列A[i] 這個元素的起始地址為：
                            base + (i – low)*w 
            其中，low為陣列下標的下界， base是分配給陣列的相對地址，即base為A的第一個元素A[low]的相對地址。
        base + (i – low)*w   可整理為：  i*w + (base –low*w)
  其中：
     （1） i*w  是隨陣列下標變數而變化的部分,記為VARPART ;

    （2）（base – low*w)是在陣列中不變化的常數記為CONSPART

5.二維陣列：若二維陣列A按行存放，則可用如下公式計算A[i1,i2]的相對地址：
    base + (( i1 – l1)*d2 + i2 – l2) *w
    其中，l1、l2分別為i1、i2的下界；di界差。若ui為i的上界，則di=ui – li +1.
假定i1,i2是編譯時唯一尚未知道的值，我們可以重寫上述表示式為：( base –（ (l1 *d2) + l2) *w）+ ( (i1*d2) + i2) *w          
                  CONSPART                   VARPART
       其中:前一項子表示式( base – （(l1 *d2) + l2) *w ）的值是可以在編譯時確定的記為常數CONSPART。

      後一子項隨i1, i2 而改變是一個變數記VARPART。

6.迴圈與分情況語句的翻譯：

大多數程式語言中都有如下形式的迴圈句：
      S→for i:=E1 step E2 until E3 do S1
   其語義各語言可能有所不同，主要區別在先判斷、後執行還是先執行、後判斷。按Algol語言的解釋：
              i:=E1；
              goto over;
      again:  i:=i+E2;
      over:   if i<=E3 then 

                begin  S1; goto again  end;

 於是為了產生四元式，描述文法改寫如下：
          F1→for i:=E1
      F2→F1 step E2
      F3→F2 until E3
      S→F3 do S1

    根據前面的解釋，i在幾處都用到，故ENTRY(i)必須保留下來，而該文法正是基於這樣的考慮而寫出來的。

7..屬性文法是在上下文無關文法的基礎上為每個文法符號（終結符或非終結符）配備若干個相關的“值”（稱為屬性）。

8.屬性的分類：

（1）綜合屬性：用於“自下而上”傳遞資訊，在語法樹中，一個結點的綜合屬性的值，由其子結點的屬性值確定

  (2)繼承屬性：用於“自上而下”傳遞資訊。在語法樹中，一個結點的繼承屬性由此結點的父結點和/或兄弟結點的某些屬性確定

9.語義規則：屬性計算的過程即是語義處理的過程，對於文法的每一個產生式配備一組屬性的計算規則，則稱為語義規則。在一個屬性文法中，對應於每個產生式A都有一套與之相關聯的語義規則，每條語義規則的形式為：b:=f(c1,c2,…,ck)  這裡f是一個函式，而且或者(1)b是A的一個綜合屬性並且c1,c2,…ck是產生式右邊文法符號的屬性；或者(2)b是產生式右邊某個文法符號的一個繼承屬性並且c1,c2,…ck是A或產生式右邊任何文法符號的屬性，在這兩種情況下，我們都說屬性b依賴於屬性c1,c2,…,ck.A-》=>b1b2…bn,b:=f(c1,c2,…,ck)(1)b是A的一個綜合屬性(2)b是bi的一個繼承屬性

10.基於屬性文法的處理過程:輸入串->語法樹->依賴圖->語義規則計算次序->計算結果

11.依賴圖的構造演算法：for分析樹中每一個結點n
for 結點的文法符號的每一個屬性a
為a在依賴圖中建立一個結點；
for分析樹中每一個結點n
for結點n所用產生式對應的每一個語義規則
b:=f(c1,c2,…ck)
for i :=1 to k

從ci結點到b結點構造一條有向邊

12.L屬性文法：如果每個產生式A X1 X2 … Xn 的每條語義規則計算的屬性是A的綜合屬性；或者是Xj 的繼承屬性， 1  j  n, 但它僅依賴：該產生式中Xj左邊符號X1, X2, …, Xj-1的屬性；A的繼承屬性，S屬性文法包含於L屬性文法

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