高級(jí)語(yǔ)言及其語(yǔ)法描述(編輯修改稿)
2025-11-12 06:44 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ? 或 imp ) 等值 （ ≡ , ～ 或 equi ) 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 算符的代數(shù)性質(zhì)（交換率、結(jié)合率和分配率）常?？捎脕?lái)優(yōu)化目標(biāo)程序的質(zhì)量 。 但是必須注意兩點(diǎn)： （ 1） 代數(shù)性質(zhì)引用到什么程度視具體語(yǔ)言的不同而不同。如在 ALGOL中把 A*B+C*D 處理成 C*D+A*B, 則至少是對(duì)ALGOL不夠忠實(shí)。 （ 2）數(shù)學(xué)上成立的代數(shù)性質(zhì)在計(jì)算機(jī)上未必完全成立。如： (A+B)+C=A+(B+C)在計(jì)算機(jī)上并不普遍成立。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 二。 語(yǔ)句 不同程序語(yǔ)言含有不同形式和功能的各種語(yǔ)句。從功能上說(shuō)語(yǔ)句大體可分執(zhí)行性語(yǔ)句和說(shuō)明性語(yǔ)句兩大類，說(shuō)明性語(yǔ)句旨在定義不同數(shù)據(jù)類型的變量或運(yùn)算。執(zhí)行性語(yǔ)句旨在描述程序的動(dòng)作。執(zhí)行性語(yǔ)句又可分賦值語(yǔ)句、控制語(yǔ)句和輸入 /輸出語(yǔ)句 .從形式上說(shuō)，語(yǔ)句還可分為簡(jiǎn)單句、復(fù)合句和分程序等。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 1。賦值語(yǔ)句 我們知道，每個(gè)名字有兩方面的特征：一方面它代表一定的存儲(chǔ)單元，另一方面它又以該單元的內(nèi)容作為 值 。賦值語(yǔ)句 A:=B的意義是：“ 把 B的值送入 A所代表的單元 ” 也就是說(shuō)：在賦值句中，賦值號(hào) ‘ ： =’左右兩邊的變量名扮演著兩種不同的角色。對(duì)賦值號(hào)右邊的 B我們需要的是它的值；對(duì)于左邊的 A我們需要的是它們的所代表的存儲(chǔ)單元（的地址）。為了區(qū)分一個(gè)名字的這兩種特征，我們把一個(gè)名字所代表的那個(gè)存儲(chǔ)單元（地址）稱為該名字的 左值 ；把一個(gè)名字的值稱為該名字的 右值 。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 2。控制語(yǔ)句 多數(shù)語(yǔ)言中所含的控制語(yǔ)句有： 無(wú)條件轉(zhuǎn)移語(yǔ)句 : goto L 條件語(yǔ)句： if B then S if B then S1 else S2 循環(huán)與句： while B do S repeat S until B for i:=E1 step E2 until E3 do S 過(guò)程調(diào)用語(yǔ)句： call P( X1,X2,… ,Xn) 返回語(yǔ)句： return(E) 重要的是我們必須了解這些語(yǔ)句在不同語(yǔ)言中的不同含義。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 3。說(shuō)明語(yǔ)句 說(shuō)明語(yǔ)句旨在定義名字的性質(zhì)。編譯程序把這些性質(zhì)登記在符號(hào)表中，并檢查程序中名字的引用和說(shuō)明是否相一致。許多說(shuō)明語(yǔ)句沒(méi)有相應(yīng)的代碼。但有些語(yǔ)句，如過(guò)程說(shuō)明語(yǔ)句，和可變數(shù)組說(shuō)明語(yǔ)句則有相應(yīng)的目標(biāo)代碼。 4。簡(jiǎn)單句和復(fù)合句 簡(jiǎn)單句是指那些不含其它語(yǔ)句成分的基本句，如賦值句、 goto句等。 復(fù)合句則指那些句中有句的語(yǔ)句。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 本節(jié)內(nèi)容是對(duì)高級(jí)語(yǔ)言中為編譯原理課程所關(guān)心特性的總結(jié) 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 ? 程序語(yǔ)言的語(yǔ)法描述 對(duì)于高級(jí)程序語(yǔ)言及編譯程序而言，語(yǔ)言的語(yǔ)法定義是非常重要的。本節(jié)將介紹語(yǔ)法結(jié)構(gòu)的形式描述問(wèn)題。 首先引入幾個(gè)概念： 設(shè) ?是一個(gè)有 窮字母表 ，它的每個(gè)元素稱為一個(gè) 符號(hào) 。 ?上的一個(gè) 符號(hào)串 是指由 ?中的符號(hào)所構(gòu)成的又窮序列。不包含符號(hào)的序列稱為 空字 ，記為 ?。用 ?*表示 ?上的所有符號(hào)串的全體，空字也包括在其中。如：若 ?={a,b}則?*={??,a,b,aa,ab,bb,aaa,… }。 ?表示不含人何元素的空集 {}。這里要注意 ?、 {}和 {?}的區(qū)別。 A第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 ?*的子集 U和 V中的 （連接）積 定義為 : UV={??∣ ??U amp。 ??V } 即集合 UV中的符號(hào)串是由 U和 V的符號(hào)串連接而成的。注意，一般 UV?VU，但（ UV)W=U(VW). V自身的 n次（連接）積記為： Vn = V V… V (n個(gè) V) 規(guī)定 V0 = {?}. 令： V* = V0?V1?V2?… 稱 V*是 V的 閉包 。 記 V+ = VV*, 稱 V+是 V的 正則包 。 閉包 V*中的每個(gè)符號(hào)都是由 V中的符號(hào)串經(jīng)有限次連接而成的。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 上下文無(wú)關(guān)文法： 文法是描述語(yǔ)言的語(yǔ)法結(jié)構(gòu)的形式規(guī)則（即語(yǔ)法規(guī)則）。 所謂 上下文無(wú)關(guān)文法 是這樣一種文法，它所定義的語(yǔ)法范疇（或語(yǔ)法單位 )是完全獨(dú)立于這種范疇可能出現(xiàn)的環(huán)境的。 請(qǐng)仔細(xì)閱讀課本 P27頁(yè)的英文分析的例句，定義英文句子的規(guī)則可以說(shuō)是一個(gè)上下文無(wú)關(guān)文法。其中 He, me, book, gave,a 等，稱為終結(jié)符號(hào)； 句子 、 主語(yǔ) 、 謂語(yǔ) 等為非終結(jié)符號(hào)；這個(gè)文法最終是要定義 句子 的語(yǔ)法結(jié)構(gòu)，所以 句子 在這里成為開(kāi)始符號(hào)； 間接賓語(yǔ) → 冠詞 名詞 這種書(shū)寫(xiě)形式稱為產(chǎn)生式。 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 歸納起來(lái)，一個(gè) 上下文無(wú)關(guān)文法 G包括四個(gè)組成部分：一組 終結(jié)符號(hào) ，一組 非終結(jié)符 ，一個(gè) 開(kāi)始符號(hào) ，以及一組 產(chǎn)生式 。 所謂 終結(jié)符號(hào) 乃是組成語(yǔ)言的基本符號(hào)，即在程序語(yǔ)言中以前屢次提到的單詞符號(hào)，如基本字，標(biāo)識(shí)符，常數(shù)，算符和界符等 所謂 非終結(jié)符號(hào) （也稱語(yǔ)法變量）用來(lái)代表語(yǔ)法范疇。如“算術(shù)表達(dá)式”、“布爾表達(dá)式”、“過(guò)程”等。一個(gè)非終結(jié)符代表一個(gè)一定的語(yǔ)法概念。因此非終結(jié)符是一個(gè)類（或集合）記號(hào)，而不是個(gè)體記號(hào)。 第二章
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1