程序設計語言概論

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

2、綁定時間第三章第三章語言的語法一般準則二義性問題、及其解決方法語言的翻譯分析詞法、語法、語義，各階段的功能綜合優(yōu)化、目標代碼生成第三章（續(xù)）第三章（續(xù)）BNF文法文法的推導過程文法定義的語言語法分析樹文法的二義性及其解決有限狀態(tài)自動機(FSA)FSA的能力接受一個句子與識別一個語言的區(qū)別FSA與正則文法、正則表達式之間的相互轉(zhuǎn)換下推自動機(PDA)運行原理PDA的能力第四章第四章語法模型：喬姆斯基分級文法形式能力計算模型：圖靈機圖靈機的結構、運行原理、能力停機問題語義模型屬性文法，表達式的語義公理語義，程序正確性證明第五章第五章數(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)第六章第六章結構化數(shù)據(jù)類型規(guī)約與實現(xiàn)的重點：部件的數(shù)量、類型、名字、組織方式，以及部件的選擇和操縱實現(xiàn)中存在的問題：存儲的表示和管理、部件的訪問效率常見結構化數(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)第八章第八章算術表達式的順序控制表達式的表示方法樹形表示、線性表示表示方法蘊含（或不蘊含）計算順序不同表達方法的計值過程計值中存在的問題計值規(guī)則、副作用、出錯、布爾表達式短路第八章（續(xù)）第八章（續(xù)）語句的順序控制主要控制結構結構化程序設計的基本原則素程序定義合式程序的分解素程序定理的證明第九章第九章簡單調(diào)用返回基本原理與實現(xiàn)方法子程序的激活的實現(xiàn)方式遞歸調(diào)用與簡單調(diào)用返回的異同點實現(xiàn)方式第九章（續(xù)）第九章（續(xù)）標識符的作用域（或使用范圍）與引用環(huán)境靜態(tài)作用域規(guī)則