【正文】 第二章第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述高級(jí)語(yǔ)言及其語(yǔ)法描述n 程序設(shè)計(jì)語(yǔ)言的語(yǔ)法n 程序設(shè)計(jì)語(yǔ)言的語(yǔ)義n 程序設(shè)計(jì)語(yǔ)言的特點(diǎn)n 程序設(shè)計(jì)語(yǔ)言的語(yǔ)法描述第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述n 任何語(yǔ)言實(shí)現(xiàn)的基礎(chǔ)是語(yǔ)言的定義。n 在定義方面，編譯程序研制者與一般用戶有所不同u 用戶關(guān)心語(yǔ)言如何使用u 開(kāi)發(fā)人員關(guān)心語(yǔ)言的定義。他們對(duì) 哪些構(gòu)造允許出現(xiàn) 更感興趣。即使一時(shí)不能看出某種構(gòu)造的實(shí)際應(yīng)用，或者判斷實(shí)現(xiàn)該結(jié)構(gòu)會(huì)導(dǎo)致嚴(yán)重的困難，但仍必須嚴(yán)格根據(jù)語(yǔ)言的定義實(shí)現(xiàn)它。n 程序語(yǔ)言主要由 語(yǔ)法 和 語(yǔ)義 兩方面定義。 程序語(yǔ)言的定義第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 語(yǔ)法u 所謂一個(gè)語(yǔ)言的 語(yǔ)法 是指這樣的一組 規(guī)則 ，用它可以形成和產(chǎn)生一個(gè)合適的程序。u 這些規(guī)則一部分稱為 詞法規(guī)則 ，另一部分能稱為 語(yǔ)法規(guī)則 （或產(chǎn)生規(guī)則）。第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述幾個(gè)概念 字母表 ； 是指單詞符號(hào)的形成規(guī)則。 單詞符號(hào)一般包括：各類型的常數(shù)、標(biāo)識(shí)符、基本字、算符和界符等。 語(yǔ)法規(guī)則 規(guī)定了如何從單詞符號(hào)形成更大的結(jié)構(gòu)（即 語(yǔ)法單位 或 語(yǔ)法范疇 ），換言之，語(yǔ)法規(guī)則是語(yǔ)法單位的形成規(guī)則。一般程序語(yǔ)言的語(yǔ)法單位有：表達(dá)式、語(yǔ)句、分程序、函數(shù)、過(guò)程和程序等。第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 n 對(duì)于一個(gè)語(yǔ)言來(lái)說(shuō)，不僅要給出它的詞法、語(yǔ)法規(guī)則，而且要定義它的單詞符號(hào)和語(yǔ)法單位的意義。這就是語(yǔ)義問(wèn)題。n語(yǔ)義 是指這樣的一組規(guī)則，使用它可以定義一個(gè)程序的意義。n 我們采用的方法為：屬性文法和基于屬性文法的語(yǔ)法制導(dǎo)翻譯方法。 語(yǔ)義第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 n 程序語(yǔ)言的基本功能是描述數(shù)據(jù)和對(duì)數(shù)據(jù)的運(yùn)算。所謂 程序 ，從本質(zhì)上來(lái)說(shuō)是描述一定數(shù)據(jù)的處理過(guò)程。程序子程序 或 分程序語(yǔ)句表達(dá)式算符 函數(shù)調(diào)用數(shù)據(jù)引用程序第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述程序設(shè)計(jì)語(yǔ)言的定義n 建立在有限字母集之上的一個(gè) 符號(hào)系統(tǒng)n 有一定的 語(yǔ)法 和 語(yǔ)義 規(guī)則n 語(yǔ)法規(guī)則：詞法規(guī)則和語(yǔ)法規(guī)則n 語(yǔ)義規(guī)則：描述語(yǔ)法單位的功能和含義n 程序設(shè)計(jì)語(yǔ)言的 功能 是描述數(shù)據(jù)和對(duì)數(shù)據(jù)的運(yùn)算第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 高級(jí)語(yǔ)言的一般特性 高級(jí)語(yǔ)言分類 程序結(jié)構(gòu) 數(shù)據(jù)類型與操作 語(yǔ)句與控制結(jié)構(gòu)第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 高級(jí)語(yǔ)言分類 從不同的角度看，對(duì)高級(jí)程序設(shè)計(jì)語(yǔ)言有不同的分類方法。如果我們從語(yǔ)言范型分類，當(dāng)今的大多數(shù)程序設(shè)計(jì)語(yǔ)言可劃分為四類。 一、強(qiáng)制式語(yǔ)言 強(qiáng)制式語(yǔ)言也稱過(guò)程式語(yǔ)言。其特點(diǎn)是命令驅(qū)動(dòng)，面向語(yǔ)句。一個(gè)強(qiáng)制式語(yǔ)言程序由一系列的語(yǔ)句組成，每個(gè)浯句的執(zhí)行引起若干存儲(chǔ)單元中的值的改變。這種語(yǔ)言的語(yǔ)法形式通常具有如下形式： 語(yǔ)句 1； 語(yǔ)句 2； 語(yǔ)句 n； 許多廣為使用的語(yǔ)言，如 FORTRAN、 C、 Pascal，等等，屬于這類語(yǔ)言。第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 高級(jí)語(yǔ)言分類 二、應(yīng)用式語(yǔ)言 與強(qiáng)制式語(yǔ)言不同的是，應(yīng)用式語(yǔ)言更注重程序所表示的功能，而不是一個(gè)語(yǔ)句接一個(gè)語(yǔ)句地執(zhí)行。程序的開(kāi)發(fā)過(guò)程是從前面已有的函數(shù)出發(fā)構(gòu)造出更復(fù)雜的函數(shù)，對(duì)初始數(shù)據(jù)集進(jìn)行操作直至最終的函數(shù)可以用于從初始數(shù)據(jù)計(jì)算出最終的結(jié)果。這種語(yǔ)言通常的語(yǔ)法形式是： 函數(shù) n(… 函數(shù) 2(函數(shù) 1(數(shù)據(jù) ))…)因此，這種語(yǔ)言也稱函數(shù)式語(yǔ)言。 LISP和 ML屬于這種語(yǔ)言。第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 高級(jí)語(yǔ)言分類三、基于規(guī)則的語(yǔ)言 基于規(guī)則的語(yǔ)言程序的執(zhí)行過(guò)程是：檢查一定的條件，當(dāng)它滿足值，則執(zhí)行適當(dāng)?shù)膭?dòng)作。最有代表性的基于規(guī)則語(yǔ)言是 Prolog，它也稱邏輯程序設(shè)計(jì)語(yǔ)言，因?yàn)樗幕驹试S條件是謂詞邏輯表達(dá)式。這類語(yǔ)言的語(yǔ)法形式通常為： 條件 1→ 動(dòng)作 l 條件 2→ 動(dòng)作 2 條件 n→ 動(dòng)作 3第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 高級(jí)語(yǔ)言分類四、面向?qū)ο笳Z(yǔ)言 面向?qū)ο笳Z(yǔ)言如今已成為最流行、最重要的語(yǔ)言。它主要的特征是支持 封裝性 、 繼承性 和多態(tài)性 等。把復(fù)雜的數(shù)據(jù)和用于這些數(shù)據(jù)的操作封裝在一起，構(gòu)成對(duì)象；對(duì)簡(jiǎn)單對(duì)象進(jìn)行擴(kuò)充、繼承簡(jiǎn)單對(duì)象的特性，從而設(shè)計(jì)出復(fù)雜的對(duì)象。通過(guò)對(duì)象的構(gòu)造可以使面向?qū)ο蟪绦颢@得強(qiáng)制式語(yǔ)言的有效性，通過(guò)作用于規(guī)定數(shù)據(jù)的函數(shù)的構(gòu)造可以獲得應(yīng)用式語(yǔ)言的靈活性和可靠性。第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 程序結(jié)構(gòu)n 不同程序語(yǔ)言都有各自的程序結(jié)構(gòu)n C語(yǔ)言程序可以包含多個(gè)函數(shù)n Pascal 支持過(guò)程的嵌套定義n 程序結(jié)構(gòu)的不同，決定了符號(hào)表構(gòu)造方法的不同第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述Pascal 是一個(gè)允許子程序嵌套定義的語(yǔ)言 program main … procedure P1。 … procedure P11。 … begin … end。 begin … end。 procedure P2。 … begin … end。 begin … end 第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述 程序設(shè)計(jì)語(yǔ)言支持特定的數(shù)據(jù)類型與操作。一個(gè)數(shù)據(jù)類型通常包括以下三種要素：n 屬性n 值n 操作 數(shù)據(jù)類型與操作第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述一 .初等數(shù)據(jù)類型（基本數(shù)據(jù)類型） 常見(jiàn)的初等數(shù)據(jù)類型有： 不同的數(shù)據(jù)類型占存儲(chǔ)空間不同，表示的數(shù)的范圍也不相同第二章 高級(jí)語(yǔ)言及其語(yǔ)法描述名字和標(biāo)識(shí)符n 標(biāo)識(shí)符 ：無(wú)意義的符號(hào)串 n 名字 ： 可以看成是代表一個(gè)抽象的存儲(chǔ)單元n 名字的值 ：名字所代表的單元的內(nèi)容則認(rèn)為是此名字的 值 。n 名字的屬性 ： 一個(gè)名字的屬性包括 類型 和 作用域 。n 標(biāo)識(shí)符、名字與存儲(chǔ)空間的關(guān)系 :同一標(biāo)識(shí)符可以表示不同的名字；同一名字可以表示不同的存儲(chǔ)空間；同一存儲(chǔ)空間可以有多個(gè)名字第二章