計算機語言的發(fā)展ppt課件

1、第 5 課 計算機言語的開展user.qzone./1975731184/infocenter#!app=2&via=QZ.HashRefresh&pos=63849580.主要內(nèi)容5.1 方式言語5.2 計算機言語的開展1.5.1 方式言語計算機言語是一種方式化言語為什么要用方式化言語？方式言語是以數(shù)學(xué)和數(shù)理邏輯為根底的科學(xué)言語，其言語符號具有單一性、無歧義性和明確性特點自然言語具有歧義性，其語法構(gòu)造不夠嚴厲、不夠一致自然言語是某一社會開展中構(gòu)成的一種民族言語要用計算機對言語進展處置，那么必需處理言語的歧義性問題2.自然言語的歧義性實例例：他的發(fā)理得好。這個例子至少有兩種不同的解釋：他的理發(fā)

2、程度高。理發(fā)師理他的發(fā)理得好。3.方式言語的根本特點有一組初始的、專門的符號。有一組準確定義的符號串轉(zhuǎn)換規(guī)那么即方式言語語法。方式言語語法中不包含語義。在一個給定的方式言語中，可以根據(jù)需求，經(jīng)過賦值或模型對其進展嚴厲的語義解釋，從而構(gòu)成方式言語的語義在方式言語中，不允許出現(xiàn)根據(jù)構(gòu)成規(guī)那么無法確定的符號串4.方式言語實例例：言語W定義為：初始符號集：a，b，c，d，e。構(gòu)成規(guī)那么：上述符號組成的有限符號串中，能組成一英語單詞的為一公式；否那么不是。 問：W能否為一方式言語？答：不是，由于根據(jù)構(gòu)成規(guī)那么，無法準確地定義轉(zhuǎn)換規(guī)那么。緣由：構(gòu)成規(guī)那么語法中包含了語義。5.方式言語實例例：言語W定義為：

3、初始符號集：a，b，c，d，e，(，)，+，。構(gòu)成規(guī)那么：上述符號組成的有限符號串中，能組成表達式的為一公式；否那么不是。 問：W能否為一方式言語？答：不是，由于根據(jù)構(gòu)成規(guī)那么，無法準確地定義轉(zhuǎn)換規(guī)那么。緣由：構(gòu)成規(guī)那么語法中包含了語義6.方式言語實例例：言語W定義為：初始符號集：a，b，c，d，e，(，)，+，。構(gòu)成規(guī)那么：上述符號組成的有限符號串中，凡以符號“(開頭且以“)結(jié)尾的符號串為一公式。 問：W能否為一方式言語？答：不是，由于根據(jù)構(gòu)成規(guī)那么，無法對不是以符號“(開頭且以“)結(jié)尾的符號串進展斷定。例如，(a+b)c。7.方式言語實例例：言語W定義為：初始符號集：a，b，c，d，e，(

4、，)，+，。構(gòu)成規(guī)那么：上述符號組成的有限符號串中，凡以符號“(開頭且以“)結(jié)尾的符號串為一公式；否那么不是。 問：W能否為一方式言語？答：是。8.5.2 計算機言語的開展計算機言語閱歷了從機器言語、匯編言語、高級言語、運用言語到自然言語的開展階段。9.算法的機器言語描畫例如：用機器指令對“2+6進展計算的算法描畫1011000000000110 /將“6送到存放器AL中，數(shù)字“6放在指令后八位0000010000000010 / 將數(shù)“2與存放器AL中的內(nèi)容相加，結(jié)果仍存在AL中101000100101000000000000 / 把AL中的內(nèi)容送到地址為5的單元中10.算法的匯編言語描畫例

5、如：用匯編言語對“2+6進展計算的算法描畫MOV AL，6ADD AL，2MOV VC，AL匯編言語語句與特定的機器指令有一一對應(yīng)的關(guān)系，經(jīng)匯編程序匯編言語用戶的虛擬機翻譯為機器指令后才干運轉(zhuǎn)11.算法的高級言語描畫例如：用高級言語對“2+6進展計算的算法描畫2+6高級言語的語句與特定機器的指令無關(guān)高級言語程序經(jīng)編譯程序高級言語用戶的虛擬機翻譯成匯編言語，然后經(jīng)匯編程序匯編言語用戶的虛擬機翻譯為機器指令后才干運轉(zhuǎn)12.算法的運用言語描畫用運用言語編程，用戶只需告知系統(tǒng)“做什么，而無需闡明“怎樣做如：SQL這類言語提供了功能強大的非過程化問題定義手段用運用言語編寫的程序普通經(jīng)運用程序包運用言語用

6、戶的虛擬機翻譯成高級言語程序后，再逐級向下實現(xiàn)13.基于虛擬機的計算機層次構(gòu)造14.基于虛擬機的計算機層次構(gòu)造15.自然言語的計算機處置自然言語的計算機處置可以分為以下四個層次：第一層次是文字和語音，即根本言語信息的構(gòu)成 ；第二層次是語法，即言語的形狀構(gòu)造；第三層次是語義，即言語與它所指的對象之間的關(guān)系；第四層次是語用，即言語與它的運用者之間的關(guān)系。目前，自然言語的輸入問題已根本處理。要使計算機對自然言語進展處置，關(guān)鍵是要處理自然言語語法和語義的方式化問題。16.自然言語的方式化問題自然言語能否方式化？人具有發(fā)明和了解正確句子的才干。這種言語“發(fā)明性過程，其實就是由有限數(shù)量的詞，根據(jù)一定的規(guī)那

7、么產(chǎn)生正確句子的過程。進一步而言，其本質(zhì)也就是一個字符串到另一個字符串的變換過程。顯然，言語“發(fā)明性過程的本質(zhì)與計算過程的本質(zhì)是一致的。因此，可以將自然言語也看作是一種計算，從而自然言語能否實現(xiàn)方式化的爭論也就不存在了。17.自然言語的方式化方法自然言語的方式語法可表示為：G0=，其中，Vn為非終結(jié)符號的有限集合；Vt為終結(jié)符號的有限集合；P0為生成式或稱產(chǎn)生式的有限集合，即方式規(guī)那么；S為開場符號18.自然言語的方式化實例設(shè)自然言語的方式語法中，Vn=S，NP，VP，N，V，Vt=我，他，學(xué)，教，英語，漢語，希望，P0=SNP VP，NP N，VP V NP，VP V S，N 我，N 他，V

8、 學(xué)，V 教，V 希望，N 英語，N 漢語 ，其中，S表示句子；NP表示名詞短語VP表示動詞短語N表示名詞V表示動詞S NP VP表示句子由名詞短語和動詞短語組成 NP N表示名詞短語由名詞構(gòu)成19.句子的派生過程舉例20.相關(guān)圖靈獎獲得者約翰巴克斯1977年圖靈獎獲得者，F(xiàn)ORTRAN和BNF的發(fā)明者肯尼思艾弗森1979年圖靈獎獲得者，大器晚成的科學(xué)家，APL的發(fā)明人查爾斯霍爾1980年圖靈獎獲得者，從QUICKSORT、CASE到程序設(shè)計言語的公理化21.相關(guān)圖靈獎獲得者羅賓米爾納1991年圖靈獎狄得者，規(guī)范元言語ML的開發(fā)者彼得諾爾2005年圖靈獎獲得者，從天文學(xué)家到計算機科學(xué)家，BNF改良家弗朗西絲愛倫2006年圖靈獎獲得者，編譯器優(yōu)化實際與實際的先驅(qū)22.羅賓米爾納1934?23.彼得諾爾1928?24.弗朗西絲愛倫1932?25.討論計算機開展趨勢是什么？巨型化、微型化、