考研復試六選四課件編譯原理文法_第1頁
考研復試六選四課件編譯原理文法_第2頁
考研復試六選四課件編譯原理文法_第3頁
考研復試六選四課件編譯原理文法_第4頁
考研復試六選四課件編譯原理文法_第5頁
已閱讀5頁，還剩1頁未讀， 繼續免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

文法--1/6文法及其形式定義文法：所謂文法就是描述語言的語法結構的形式規則。任何一個文法都可以表示為一個四元組G=(VT,VN,S,

)VT是一個非空的有限集合，它的每個元素稱為終結符號。

VN是一個非空的有限集合，它的每個元素稱為非終結符號。

VT∩VN=φ

S是一個特殊的非終結符號，稱為文法的開始符號。

是一個非空的有限集合，它的每個元素稱為產生式。產生式的形式為：

“

”表示“定義為”（或“由……組成”）

、

(VT∪VN)*

，

左部相同的產生式1、

2、……、

n可以縮寫

1|

2|……|

n“|”

表示“或”，每個

i(i=1,2,…,n)稱為

的一個候選式文法--2/6文法的分類

根據對產生式施加的限制不同，定義了四類文法和

相應的四種形式語言類。文法類型產生式形式的限制文法產生的語言類

0型文法其中

,

(VT∪VN)*，|

|

0，

0型語言

中至少有一個非終結符號

1型文法，即

1型語言，即上下文有關文法

,

滿足0型文法的要求，并且

上下文有關語言|

|

|

|

2型文法，即A

2型語言，即上下文無關文法其中A

VN，

(VT∪VN)*

上下文無關語言

3型文法，即A

a或A

aB（右線性），或3型語言，即正規文法A

a或A

Ba（左線性）正規語言

（線性文法）其中A,B

VN，a

VT∪{

}文法--3/6上下文無關文法及相應的語言所定義的語法單位(或稱語法實體)完全獨立于這種語法單位可能出現的上下文環境現有程序設計語言中，許多語法單位的結構可以用上下文無關文法來描述。例：描述算術表達式的文法G：

G=({i,+,-,*,/,(,)},{<表達式>,<項>,<因子>},<表達式>,)其中

：<表達式>

<表達式>+<項>|<表達式>-<項>|<項><項>

<項>*<因子>|<項>/<因子>|<因子><因子>

(<表達式>)|i語言L(G)是所有包括加、減、乘、除四則運算的算術表達式的集合。文法--4/6如果用“::=”代替“

”，這組產生式可以寫為：<表達式>::=<表達式>+<項>|<表達式>-<項>|<項><項>::=<項>*<因子>|<項>/<因子>|<因子><因子>::=(<表達式>)|i元符號：::=表示“定義為”或“由……組成”<……>表示非終結符號|表示“或”BNF（Backus-NormalForm）表示法

文法--5/6文法書寫約定終結符號次序靠前的小寫字母，如：a、b、c運算符號，如：+、-、*、/各種標點符號，如：括號、逗號、冒號、等于號數字1、2、…、9黑體字符串，如：id、begin、if、then非終結符號次序靠前的大寫字母，如：A、B、C大寫字母S常用作文法的開始符號小寫的斜體符號串，如：expr、term、factor、stmt文法--6/6終結符號串次序靠后的小寫字母，如：u、v、…

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論