程序設(shè)計語言概論

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

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

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