程序設(shè)計(jì)語(yǔ)言概論

1、程序設(shè)計(jì)語(yǔ)言概論程序設(shè)計(jì)語(yǔ)言概論復(fù)習(xí)復(fù)習(xí)2010.12.28考試時(shí)間: 2011.1.10上午8:3010:30考試地點(diǎn): 理教103第一章第一章程序設(shè)計(jì)語(yǔ)言的定義符號(hào)+規(guī)則數(shù)據(jù)+算法高級(jí)程序設(shè)計(jì)語(yǔ)言的基本特征形式和編寫(xiě)?yīng)毩⒂谟?jì)算機(jī)、比機(jī)器語(yǔ)言復(fù)雜、更接近于問(wèn)題解的自然表述程序設(shè)計(jì)語(yǔ)言的編程范型命令型、函數(shù)式、邏輯型、面向?qū)ο蟮诙碌诙抡Z(yǔ)言設(shè)計(jì)要考慮的基本因素硬件計(jì)算機(jī)虛擬計(jì)算機(jī)（或執(zhí)行模型）計(jì)算模型語(yǔ)言的實(shí)現(xiàn)本質(zhì)上就是將程序設(shè)計(jì)語(yǔ)言轉(zhuǎn)換成計(jì)算機(jī)能處理的數(shù)據(jù)、指令和算法的過(guò)程翻譯、解釋虛擬計(jì)算機(jī)程序運(yùn)行時(shí)的數(shù)據(jù)和算法所定義的計(jì)算機(jī)語(yǔ)言中的各種成分最終都會(huì)和虛擬計(jì)算機(jī)中的具體成分綁定起來(lái)綁定和

2、綁定時(shí)間第三章第三章語(yǔ)言的語(yǔ)法一般準(zhǔn)則二義性問(wèn)題、及其解決方法語(yǔ)言的翻譯分析詞法、語(yǔ)法、語(yǔ)義，各階段的功能綜合優(yōu)化、目標(biāo)代碼生成第三章（續(xù)）第三章（續(xù)）BNF文法文法的推導(dǎo)過(guò)程文法定義的語(yǔ)言語(yǔ)法分析樹(shù)文法的二義性及其解決有限狀態(tài)自動(dòng)機(jī)(FSA)FSA的能力接受一個(gè)句子與識(shí)別一個(gè)語(yǔ)言的區(qū)別FSA與正則文法、正則表達(dá)式之間的相互轉(zhuǎn)換下推自動(dòng)機(jī)(PDA)運(yùn)行原理PDA的能力第四章第四章語(yǔ)法模型：?jiǎn)棠匪够旨?jí)文法形式能力計(jì)算模型：圖靈機(jī)圖靈機(jī)的結(jié)構(gòu)、運(yùn)行原理、能力停機(jī)問(wèn)題語(yǔ)義模型屬性文法，表達(dá)式的語(yǔ)義公理語(yǔ)義，程序正確性證明第五章第五章數(shù)據(jù)對(duì)象數(shù)據(jù)對(duì)象的屬性數(shù)據(jù)值簡(jiǎn)單數(shù)據(jù)類型規(guī)約：屬性、值、操作實(shí)現(xiàn)：

3、存儲(chǔ)表示、操作實(shí)現(xiàn)數(shù)據(jù)對(duì)象的聲明聲明的內(nèi)容聲明的目的類型檢查靜態(tài)和動(dòng)態(tài)類型檢查，優(yōu)缺點(diǎn)和局限性常見(jiàn)基本數(shù)據(jù)類型的實(shí)現(xiàn)第六章第六章結(jié)構(gòu)化數(shù)據(jù)類型規(guī)約與實(shí)現(xiàn)的重點(diǎn)：部件的數(shù)量、類型、名字、組織方式，以及部件的選擇和操縱實(shí)現(xiàn)中存在的問(wèn)題：存儲(chǔ)的表示和管理、部件的訪問(wèn)效率常見(jiàn)結(jié)構(gòu)化數(shù)據(jù)類型的實(shí)現(xiàn)第六章（續(xù)）第六章（續(xù)）子程序規(guī)約與實(shí)現(xiàn)規(guī)約中存在的問(wèn)題定義與激活激活的實(shí)現(xiàn)類型定義類型等價(jià) 與 數(shù)據(jù)對(duì)象相等第七章第七章抽象數(shù)據(jù)類型定義與實(shí)現(xiàn)類屬抽象數(shù)據(jù)類型定義與實(shí)例化繼承對(duì)象的派生、方法的繼承多態(tài)多態(tài)的創(chuàng)建與實(shí)現(xiàn)動(dòng)態(tài)多態(tài)第八章第八章算術(shù)表達(dá)式的順序控制表達(dá)式的表示方法樹(shù)形表示、線性表示表示方法蘊(yùn)含（或不蘊(yùn)含）計(jì)算順序不同表達(dá)方法的計(jì)值過(guò)程計(jì)值中存在的問(wèn)題計(jì)值規(guī)則、副作用、出錯(cuò)、布爾表達(dá)式短路第八章（續(xù)）第八章（續(xù)）語(yǔ)句的順序控制主要控制結(jié)構(gòu)結(jié)構(gòu)化程序設(shè)計(jì)的基本原則素程序定義合式程序的分解素程序定理的證明第九章第九章簡(jiǎn)單調(diào)用返回基本原理與實(shí)現(xiàn)方法子程序的激活的實(shí)現(xiàn)方式遞歸調(diào)用與簡(jiǎn)單調(diào)用返回的異同點(diǎn)實(shí)現(xiàn)方式第九章（續(xù)）第九章（續(xù)）標(biāo)識(shí)符的作用域（或使用范圍）與引用環(huán)境靜態(tài)作用域規(guī)則