計(jì)算機(jī)語(yǔ)言的發(fā)展ppt課件

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

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

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

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

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

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

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

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