• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    論圖靈的可計算思想

    2016-03-24 00:31:01
    關(guān)鍵詞:紙帶圖靈掃描儀

    胡 嵩

    (華中師范大學(xué) 馬克思主義學(xué)院,武漢 430070)

    ?

    論圖靈的可計算思想

    胡 嵩

    (華中師范大學(xué) 馬克思主義學(xué)院,武漢 430070)

    圖靈的可計算思想有著深刻的思想淵源,萊布尼茲、弗雷格和哥德爾對于人工語言研究的發(fā)展皆對圖靈的可計算思想有影響。圖靈在《論可計算數(shù)在判決性問題中的應(yīng)用》中提到圖靈機(jī)和通用計算機(jī)兩個抽象機(jī)器,并描述了兩種機(jī)器的基本結(jié)構(gòu)以及運行方式,其中,通用計算機(jī)是現(xiàn)代計算機(jī)的原型。圖靈的可計算思想從根本上影響了馮·諾依曼,并使得馮·諾依曼建造出人類第一臺計算機(jī)。圖靈對于現(xiàn)代計算機(jī)以及機(jī)器思維方面的發(fā)展所做出的貢獻(xiàn)是無法取代的。

    可計算思想;圖靈機(jī);通用計算機(jī);現(xiàn)代計算機(jī);機(jī)器思維

    圖靈多數(shù)情況是因其論文被人提及,而他的名字與歷史上3個大型計算機(jī)項目是密切相關(guān)的。第一個是巨人(Colossus)。第二次世界大戰(zhàn)時,圖靈打破了恩尼格碼(Enigma,大西洋之戰(zhàn)的一個決定性因素)的神話,他在布萊切利公園設(shè)計出了“bombe(一種高速破譯德軍密碼的機(jī)器)”,從而破譯出恩尼格碼產(chǎn)生的大量軍事密碼。圖靈與他同事的工作使得二戰(zhàn)在歐洲戰(zhàn)場的時間縮短至少兩年[1]。二戰(zhàn)結(jié)束后,圖靈被英國的國家物理實驗室(the National Physical Laboratory)招募,他不僅設(shè)計了電子數(shù)字計算機(jī)(通用圖靈機(jī)的現(xiàn)實版本),并對其發(fā)展做出了不可磨滅的貢獻(xiàn),他的設(shè)計(the Automatic Computing Engine的設(shè)計)相比于其他學(xué)者構(gòu)建的更為先進(jìn)。在等待工程師建造ACE的同時,圖靈和他的團(tuán)隊開創(chuàng)了計算機(jī)程序科學(xué)的研究,為將要建造出的計算機(jī)寫了大量復(fù)雜的數(shù)學(xué)程序。隨后一年,西方國家的幾個團(tuán)隊開始著手在硬件方面做出一臺通用計算機(jī)。曼徹斯特大學(xué)的紐曼電子計算機(jī)實驗室率先做出一臺能夠運行的電子存儲計算機(jī),這臺機(jī)器叫做“Manchester Baby”。隨后,圖靈在紐曼的力邀之下,參與了紐曼的計算機(jī)項目,并于1948年6月21日在該臺機(jī)器上運行了第一個程序。不久之后,圖靈為“Manchester Baby”設(shè)計出了輸入/輸出設(shè)備(I/O)和擴(kuò)大化的機(jī)器的程序系統(tǒng),稱為“Manchester Mark Ⅰ”。

    一、圖靈可計算思想的淵源

    阿蘭·麥西森·圖靈生于1912年6月23日,卒于1954年6月7日。圖靈一生所致力的研究對于邏輯學(xué)、數(shù)學(xué)、生物學(xué)、哲學(xué)、密碼分析和隨后形成的計算機(jī)科學(xué)、認(rèn)知科學(xué)、人工智能和人工生命領(lǐng)域都有巨大貢獻(xiàn)。圖靈的可計算思想受萊布尼茲和弗雷格的影響,并在很大程度上受到哥德爾的啟發(fā)。

    萊布尼茲是現(xiàn)代形式邏輯的構(gòu)設(shè)者和初步奠基者,他曾致力于把人的理性部分地還原為計算,并且用機(jī)器來執(zhí)行這些計算。萊布尼茲認(rèn)為他的宏偉計劃主要有3步:首先,創(chuàng)造一套能夠涵蓋所有人類知識的綱要或百科全書;其次,選擇其背后的關(guān)鍵基礎(chǔ)概念,為每個概念提供合適的符號,并證明為它們提供合適符號的可行性;最后,制定合適的演繹規(guī)則來操作這些被定義的符號,演繹規(guī)則即為萊布尼茲所說的“推理演算”。

    弗雷格是萊布尼茲計劃的繼承者,他想要找到某種不用邏輯來發(fā)展邏輯的方法,他的方法是用精確的語法規(guī)則或句法規(guī)則,把概念文字發(fā)展成一種人工語言,而他的方法直接促使圖靈構(gòu)想出可計算思想。由于弗雷格試圖找到一個可以包含數(shù)學(xué)實踐中全部演繹推理的邏輯系統(tǒng),并想以其邏輯為基礎(chǔ)把代數(shù)構(gòu)造出來,所以他引入了一些自己的特殊符號來表示邏輯關(guān)系。他發(fā)現(xiàn)那些連接命題的關(guān)系也可用于分析命題的結(jié)構(gòu),于是把這些關(guān)系作為他的邏輯基礎(chǔ),第一次用精確的句法構(gòu)造了形式語言。這一思想不僅成為后來現(xiàn)代邏輯的基礎(chǔ),而且使得邏輯推理能夠轉(zhuǎn)化為機(jī)械演算的推理規(guī)則。與此同時,弗雷格的邏輯也給人們提出了一個需要研究的問題,即能否找到一種計算方法,能夠說明在他的邏輯中某一推理是否正確[2],這個問題被稱為希爾伯特的“判定問題”,即:“對于一個一階邏輯的公式,如何找到一種方法,可以在定義明確的有限步驟內(nèi)判定這個公式是否是有效的?!盵2]

    哥德爾對于這個問題的解決也給圖靈的可計算思想帶來了影響,當(dāng)他在思考希爾伯特的“判定問題”時,發(fā)現(xiàn)數(shù)學(xué)系統(tǒng)中始終存在一些無法被證明是否成立的命題。1931年,哥德爾發(fā)表了論文,提出了不完全性定理,證明了希爾伯特問題是不可判定的。在哥德爾的論文發(fā)表之后,人們已經(jīng)知道了希爾伯特所謂的算法是不存在的,但圖靈的一篇文章從另一個角度證明了不完全定理的正確性。

    圖靈在1935年春得知了希爾伯特的“判定問題”之后,開始思考怎樣才能證明這樣的算法是不存在的,而后在1936年發(fā)表了他重要的論文《論可計算數(shù)在判決性問題中的應(yīng)用》。在這篇論文中他給出了一個新的數(shù)學(xué)推理分析,“判定問題”難以被一臺通用計算機(jī)所解決(即使有無限的時間和存儲),圖靈描繪的這種抽象計算機(jī)(現(xiàn)在被稱為通用圖靈機(jī))被認(rèn)為是現(xiàn)代計算機(jī)的原型。

    二、圖靈的可計算思想的主要觀點

    《論可計算數(shù)在判決性問題中的應(yīng)用》[3]首次于1936年在《倫敦數(shù)學(xué)學(xué)會會刊》(ProceedingsoftheLondonMathematicalSociety)上出現(xiàn)。圖靈開創(chuàng)了計算機(jī)理論并推動了其發(fā)展,他在文中介紹了著名的通用計算機(jī)(在發(fā)表后就被美國邏輯學(xué)家丘奇稱為“圖靈機(jī)”[4])。這篇文章被看作是現(xiàn)代計算機(jī)科學(xué)的元論文。在20世紀(jì)30年代,它為電子存儲程序數(shù)字計算機(jī)的發(fā)展貢獻(xiàn)了極其重要的思想,而且它是現(xiàn)代計算機(jī)基本原理的來源。這個控制機(jī)器運作的思想是以存儲在計算機(jī)內(nèi)存中的編碼命令構(gòu)成的程序來實現(xiàn)的。

    首先,圖靈描述了圖靈機(jī)的構(gòu)成。圖靈指出,一臺圖靈機(jī)是由一個掃描儀和一個能夠在掃描儀中來回移動的無限存儲紙帶所構(gòu)成。紙帶被分為若干個區(qū)域(格),每個區(qū)域上是空白的或只有一個符號0或1(或是有限字母表上的符號),掃描儀在一個時刻只能掃描紙帶上的一個區(qū)域(稱為被掃描區(qū)域)。掃描儀有擦除掃描區(qū)域的符號、在掃描區(qū)域?qū)懮戏枴⑹辜垘蜃蠡蛳蛴乙苿拥臋C(jī)制。除了這些操作之外,掃描儀還能夠改變圖靈所稱為的“m-格局(m-configuration)”,在現(xiàn)代圖靈機(jī)的術(shù)語中,通常用“狀態(tài)(state)”來代替“m-格局”。掃描儀中有能夠接受各種不同狀態(tài)的裝置,而且掃描儀能夠在必要的時候改變這個裝置的狀態(tài),這個裝置的工作原理類似于一個簡單的存儲器。

    這樣的操作(擦除、寫、移動和改變狀態(tài))是圖靈機(jī)的基本操作(原子操作)。操作的復(fù)雜性就在于將大量的基本操作連接起來。適用于商業(yè)的計算機(jī)是通過硬接線來完成最基本的操作,相比于圖靈機(jī)這類機(jī)器更為復(fù)雜。然而明顯的是,雖然圖靈機(jī)是很簡單的,但它可以計算任何商用計算機(jī)能夠計算的東西。事實上,因為圖靈機(jī)是抽象的機(jī)器,有無限的存儲,因此在現(xiàn)實中找不到一臺計算能力可以與之相匹配的計算機(jī)。

    其次,圖靈描述了圖靈機(jī)的運行程序。圖靈所描述的計算機(jī)以一條空白紙帶開始工作,這個紙帶是無限長的,問題就在于啟動機(jī)器之后,掃描儀處于紙帶上的任何一個區(qū)域,從開始的地方向右運行,若給機(jī)器一個動力,掃描儀是否就會在紙帶上寫下所期望的數(shù)字?jǐn)?shù)列。為了做這項工作,這個機(jī)器需要處于某種“狀態(tài)”。當(dāng)機(jī)器開始工作時,它處于初始狀態(tài),在一個掃描區(qū)域的操作完成之后,機(jī)器處于結(jié)束狀態(tài),同時這個結(jié)束狀態(tài)是下一個掃描區(qū)域的初始狀態(tài)。機(jī)器要進(jìn)行的操作是由規(guī)則表所控制的,每一個指令規(guī)則表是由若干行格局(Configuration)和行為(Behaviour)所組成的,而格局可分為m-格局(m-configuration)和符號(symbol),行為可分為操作(operations)和最終m-格局(final m-configuration)。這樣一行規(guī)則表由4個要素組成:(1)m-格局是機(jī)器的初始狀態(tài);(2)符號是掃描儀在所停留的區(qū)域掃描到的符號;(3)操作是掃描儀在確定了掃描區(qū)域的初始狀態(tài)以及在掃描區(qū)域掃描到的符號之后,要進(jìn)行的操作(若有符號決定是否擦除,若無符號則決定是否在掃描區(qū)域打印符號,然后掃描儀向左向右或停止);(4)最終m-格局是機(jī)器的結(jié)束狀態(tài)。一臺機(jī)器在某個指令規(guī)則表的指示下運行,也許會無止境地運行下去,同樣也可能在運行一段時間之后停止下來,這是取決于規(guī)則表的設(shè)計者是如何去設(shè)計這個規(guī)則表的。

    在最后的分析中,一個計算機(jī)程序僅僅是一長串符號流或列,即為符號的組合體編碼命令。每一行的規(guī)則表命令可以再次改寫為qisjskMql形式的單個“單詞”,其中,qi表示的是初始狀態(tài),位于規(guī)則表的最左側(cè)的一列,sj是在掃描區(qū)域被掃描的符號(空白被當(dāng)作是符號的一種),sk是在掃描區(qū)域?qū)⒁粚懮系姆?,M表示掃描儀應(yīng)該移動的方向,向左向右或停止(有些時候,一行中可能沒有移動的指令,當(dāng)沒有移動的指令時則用“N”表示計算機(jī)停止),ql是一個操作結(jié)束時的狀態(tài)。將每一行的規(guī)則表改寫成上述形式的“單詞”,連接起來寫成一行從而組成一長串的符號組合體編碼命令,在兩行規(guī)則表之間用分號分開[5],在最后一行的規(guī)則表末尾用句號來表示一串符號組合體編碼命令的完結(jié)。這個字符串能夠轉(zhuǎn)換成一串由A C D L R和N這些字母所組成的字符(還有分號),圖靈稱之為機(jī)器的標(biāo)準(zhǔn)描述,以這種方式進(jìn)行的變換過程能夠使每個單一的指令從標(biāo)準(zhǔn)描述中找回。將A C D幾個字母以不同的組合形式來代替原指令中的各種狀態(tài)和各種符號,L R N則代表了掃描儀完成一個掃描區(qū)域的擦寫程序之后應(yīng)該向左向右或是停止所指代的符號。這樣,一串符號組合體編碼命令便被轉(zhuǎn)換成為圖靈所說的標(biāo)準(zhǔn)描述,并且標(biāo)準(zhǔn)描述能夠轉(zhuǎn)換為數(shù)字表示,稱為描述數(shù)字。同樣的,以這種方式進(jìn)行轉(zhuǎn)換,每個單個的指令能夠從描述數(shù)字中找回。一個標(biāo)準(zhǔn)描述轉(zhuǎn)換為描述數(shù)字的方法是將標(biāo)準(zhǔn)描述中的“A C D L R N ;”分別轉(zhuǎn)換為“1 2 3 4 5 6 7”,這樣,每一個標(biāo)準(zhǔn)描述都可被轉(zhuǎn)換為描述數(shù)字。需要注意的是不同的標(biāo)準(zhǔn)描述能夠描述同一個機(jī)器的行為,如,將兩行規(guī)則表相互交換,這將不會影響機(jī)器在規(guī)則表下操作的行為,但是這將對接下來所得到的標(biāo)準(zhǔn)描述及其描述數(shù)字帶來影響。

    從上述情況可以看出,將一個規(guī)則表轉(zhuǎn)換為一個標(biāo)準(zhǔn)描述或描述數(shù)字的這個過程類似于將一個計算機(jī)程序匯編為機(jī)器碼的過程。程序設(shè)計者通常會選擇在高階語言中如Pascal、Prolog和C語言中工作。圖靈所提到的規(guī)則表在高階語言中匯編對于一個受過培訓(xùn)的人來說是相當(dāng)簡單的,在一個程序開始執(zhí)行之前,指令碼必須被翻譯或者匯編為能夠被電腦接受的形式(機(jī)器碼)。

    其三,是圖靈對通用計算機(jī)及其運作的論述。圖靈所說的通用計算機(jī)現(xiàn)在被稱為通用圖靈機(jī),通用圖靈機(jī)是存儲程序電子計算機(jī)(現(xiàn)代計算機(jī))的抽象概念形式。不是所有圖靈機(jī)都是通用的,有一些圖靈機(jī)只能執(zhí)行某些特定的計算,只有通用圖靈機(jī)才能夠完成最一般的計算。能夠模擬其他任何圖靈機(jī)的圖靈機(jī)稱為通用圖靈機(jī),亦即通用計算機(jī)。通用計算機(jī)有一個單一、固定的指令規(guī)則表。在這個指令規(guī)則表下運行,通用計算機(jī)能夠執(zhí)行任何任務(wù),并且其指令規(guī)則表都能夠被寫出來。

    當(dāng)我們談到計算機(jī)程序的時候,它是有輸入和輸出的。讀取一段程序即是輸入,將得到的結(jié)果寫出來即是輸出。但是,圖靈機(jī)是只有輸出而沒有輸入的,原因是圖靈機(jī)開始工作于一條無限長的空白紙帶,輸出數(shù)字?jǐn)?shù)列和其他的一些符號。而通用計算機(jī)與圖靈機(jī)不同,通用計算機(jī)要求在開始工作前輸入某一臺機(jī)器的標(biāo)準(zhǔn)描述,會寫出和該臺機(jī)器一樣的輸出,因此通用計算機(jī)相對于圖靈機(jī)來說更為普遍、一般。

    通用計算機(jī)是有一定復(fù)雜性的,然而,就如圖靈所說的一樣,通用計算機(jī)的最根本原則就是簡單。以下為載入某個規(guī)則表指令的圖靈機(jī)(這時機(jī)器的掃描儀處于計算機(jī)紙帶的起始處,并且紙帶是完全空白的)的例子,如果將一個機(jī)器的標(biāo)準(zhǔn)描述放置于通用計算機(jī)的紙帶上,那么在紙帶上特別標(biāo)記的區(qū)域,通用計算機(jī)所輸出的數(shù)列也是這個機(jī)器所輸出的。通用計算機(jī)在它的紙帶上以閱讀指令來這樣做,標(biāo)準(zhǔn)描述包括而且執(zhí)行它們。為了使通用計算機(jī)工作,我們需要將這個機(jī)器的標(biāo)準(zhǔn)描述、初始狀態(tài)和初始掃描區(qū)域的符號放在紙帶上,除此之外,紙帶上的其他區(qū)域都是空白的。然后,給該機(jī)器一個運行的刺激,則機(jī)器將會在紙帶上留下一個記錄。與圖靈機(jī)不同的是,在紙帶上不僅會有通用計算機(jī)所寫的符號,而且還有計算時掃描儀每一步的位置、掃描儀顯示的符號和每一步的狀態(tài)。

    圖靈想要給通用計算機(jī)下一個普遍定義,他對數(shù)學(xué)過程能夠被這種類型的計算機(jī)所實現(xiàn)進(jìn)行了嚴(yán)謹(jǐn)?shù)姆治?,他還介紹和分析了通用計算機(jī)的概念,如果任何數(shù)列能夠被任何計算機(jī)所輸出并且能夠被這種特別的計算機(jī)所解決,則這個計算機(jī)便是通用的。一般而言,為了達(dá)到這個目的,它需要將不同的指令組合起來。這是圖靈理論的主要成果[6]。

    三、圖靈可計算數(shù)思想的當(dāng)代影響

    馮·諾依曼和紐曼深受圖靈的通用存儲計算機(jī)理念的影響,這兩位數(shù)學(xué)家和圖靈本人是將圖靈的抽象通用計算機(jī)變?yōu)楝F(xiàn)實的重要電子計算機(jī)工程師。

    在第二次世界大戰(zhàn)之后的幾年,邏輯學(xué)家、數(shù)學(xué)家馮·諾依曼通過他的文章和公眾演講,使得存儲程序數(shù)字計算機(jī)的概念廣為流傳。

    1933年,馮·諾依曼開始在普林斯頓大學(xué)的一個高級研究院擔(dān)任教授,馮·諾依曼和圖靈第一次見面是在1935年4月,他與圖靈相熟識是圖靈在普林斯頓大學(xué)學(xué)習(xí)期間。圖靈在普林斯頓大學(xué)的這段時間,馮·諾依曼對“論可計算數(shù)”的理論逐漸熟悉起來,他逐漸對圖靈的通用計算機(jī)的概念變得很有興趣。馮·諾依曼在他的論文《計算機(jī)和大腦》[7]中提到兩個名字,其中一個是圖靈,另一個是信息論的提出者克勞德·香農(nóng)。顯然,馮·諾依曼對圖靈所做的工作是滿懷敬意的。

    物理學(xué)家富蘭克爾(他和馮·諾依曼及其他人在參與自動化和氫彈的設(shè)計中使大型計算機(jī)機(jī)械化)記錄了在馮·諾依曼思想中“論可計算數(shù)”的重要地位,大約在1943年或1944年,馮·諾依曼已經(jīng)意識到圖靈的《論可計算數(shù)在判決性問題中的應(yīng)用》的重要地位,這篇文章在原則上描述了“通用計算機(jī)”,每一臺生產(chǎn)出的計算機(jī)都是它現(xiàn)實化的版本。許多人都認(rèn)為馮·諾依曼是“計算機(jī)之父”(在現(xiàn)在的眼光看來),但是可以肯定的是馮·諾依曼從沒有這樣認(rèn)為過。馮·諾依曼被稱為計算機(jī)的助生者可能更為恰當(dāng),馮·諾依曼堅定地向所有人強(qiáng)調(diào),最基本的概念屬于圖靈。因此,在筆者看來,馮·諾依曼的貢獻(xiàn)就是使世界認(rèn)識到圖靈所介紹的計算機(jī)的基本概念,以及對摩爾學(xué)校(the Moor School)和其他地方的計算機(jī)發(fā)展所起的促進(jìn)作用[8]。

    1949年,在伊利諾斯州大學(xué)的一個名為“控制和信息的嚴(yán)謹(jǐn)理論”的演講中,馮·諾依曼談及圖靈的研究的重要之處在于:如果你構(gòu)建好了一臺自動機(jī),然后關(guān)于自動機(jī)的任何附加要求都能夠以足夠詳盡說明的指令來處理。如果自動機(jī)足夠復(fù)雜,并且它已經(jīng)到達(dá)了最低要求的復(fù)雜性,那么這就是真的。換句話說,在給定合適的指令下,這種復(fù)雜的自動機(jī)能夠做任何能被這個自動機(jī)執(zhí)行的事情[9]。

    馮·諾依曼將圖靈的“通用計算機(jī)”的抽象概念介紹給許多美國工程師,但是在美國許多關(guān)于計算機(jī)歷史的書中都沒有提及圖靈。毫無疑問,在許多技術(shù)性的報告中,關(guān)于計算機(jī)歷史都沒有涉及到圖靈所做的工作,但馮·諾依曼和其他的合作者將邏輯性的設(shè)計融入了電子存儲數(shù)字計算機(jī)之中,有證據(jù)證明在馮·諾依曼的文獻(xiàn)中有關(guān)于“論可計算數(shù)”的知識。例如,在“電子計算機(jī)邏輯設(shè)計的初級討論”的報告中,馮·諾依曼提到:“以形式邏輯的方法很容易看出,在理論上足夠去控制和使其去執(zhí)行的任何各自可適用于機(jī)器的操作數(shù)列出現(xiàn)的代碼,在整體上都會被問題計劃者所想到。從目前來看,在選擇代碼時的真正決定性的考慮因素更多的是一種現(xiàn)實性:設(shè)備的簡易性由機(jī)器碼所決定,和其應(yīng)用到實際的重要問題的清晰度和處理問題的這些問題?!盵10]這篇文章的第一句話就涉及到了圖靈的通用計算機(jī)。

    圖靈對于現(xiàn)代計算機(jī)發(fā)展最為重要的貢獻(xiàn)是控制一臺計算機(jī)運行是通過存儲一個代表性的程序,然后在計算機(jī)的內(nèi)存中將程序編碼為指令的理念;而且他證明用這種方法,一臺固定架構(gòu)的單一計算機(jī)能夠執(zhí)行每一個計算,并且這些計算能夠被任何一臺圖靈機(jī)執(zhí)行,也就是通用的。

    圖靈描述了通用計算機(jī)和存儲程序電子計算機(jī)(現(xiàn)代計算機(jī))之間的聯(lián)系:有一種重要機(jī)制的機(jī)器包含無限紙帶的存儲空間,這表明這種單一特殊的機(jī)器能夠做任何工作,這種特殊的機(jī)器可以被稱為通用機(jī)器。當(dāng)我們決定希望模仿怎樣的機(jī)器時,我們就在通用計算機(jī)的紙帶上給予它一個該機(jī)器的描述,這個描述解釋了機(jī)器在每一個格局中將會如何做,在哪兒可以找到自己。通用計算機(jī)為了知道它在每一個階段需要怎么做,它只有在這個給定的描述上不停地尋找適合當(dāng)前格局的指令。因此,這個機(jī)器所做的工作的復(fù)雜性就是“集中于紙帶上”(為指令規(guī)則表,其實就是軟件),“而且不應(yīng)該以任何方式出現(xiàn)在通用機(jī)器中”[11]。

    圖靈所使用的用于圖靈機(jī)的指令規(guī)則表就是現(xiàn)在稱為計算機(jī)的程序。當(dāng)他轉(zhuǎn)而去設(shè)計一臺電子計算機(jī)(ACE)時,圖靈繼續(xù)使用他的“指令規(guī)則表”這個概念,而現(xiàn)在的作者們用“程序”來代替它。類似ACE這樣的計算機(jī)實際上是更加實際的通用機(jī)器,有一個確定的電子設(shè)備的核心區(qū)域和一個大的存儲,當(dāng)任何詳細(xì)的問題需要被解決的時候,計算過程的合適指令將會存儲在ACE的內(nèi)存中,然后它就會運行來執(zhí)行這個過程。

    最初,圖靈提出以十六進(jìn)制來對將要輸入計算機(jī)的指令進(jìn)行編碼,隨著不斷深入寫程序的過程,他發(fā)現(xiàn)以二進(jìn)制的形式來對其進(jìn)行編碼更為合適。就大規(guī)模的計算而言,使用二進(jìn)制是很自然的事,在使用二進(jìn)制之后,計算更為簡單,因為制定只有兩個固定位置的機(jī)制比制定多達(dá)十幾個的固定位置的機(jī)制要容易得多[11]。然而,實際上真正重要的是,既然機(jī)器能夠像人類那樣執(zhí)行計算且計算是人類思維的基本組成部分,那么機(jī)器是否能像人類一樣思維呢?在圖靈看來,這個答案是不言而喻的,他所提出的計算機(jī)在本質(zhì)上與大腦并沒有什么區(qū)別。

    由大腦的生理構(gòu)成我們可以看到,人類的大腦是由大量被稱為神經(jīng)元的成分組成,科學(xué)家們估計神經(jīng)元的數(shù)量多達(dá)10億或更多。這些神經(jīng)元通過軸突和樹突組成密集有線網(wǎng)絡(luò)互相連接,就如一個巨大的網(wǎng)交織在一起,神經(jīng)元可以看作為一種基本的開關(guān),在任何情況下它都處于“開”或“關(guān)”的狀態(tài)中。到底處于哪個狀態(tài)取決于與它相連的其他神經(jīng)元傳來的信號。由此可以看出,計算機(jī)與大腦都能存儲大量的基本數(shù)據(jù),在計算機(jī)中是紙帶上的0和1,而在神經(jīng)元中是開和關(guān)的狀態(tài),關(guān)鍵是它們都能將這些數(shù)據(jù)處理成為某種模式。大腦的數(shù)據(jù)將以模式的形式來存儲,這個模式是由神經(jīng)元受到刺激而激發(fā)機(jī)制產(chǎn)生的。每種模式實際上是在某一時刻神經(jīng)元的“開”和“關(guān)”的狀態(tài)。而對于計算機(jī)來說,其數(shù)據(jù)存儲在內(nèi)存之中,其模式就是0和1的序列,這與狀態(tài)的“開”和“關(guān)”沒有區(qū)別。

    大腦與計算機(jī)都能修改存儲的值,前者通過不同的神經(jīng)元被刺激,后者通過程序指令的修改。計算機(jī)相應(yīng)于大腦的存儲行為以及模式的改變是非常相似的。而正是這種相似性使得圖靈相信在不久的將來可以建造出一臺可以思維的機(jī)器。唯一的障礙不是在邏輯上,而是在技術(shù)上。從人類智能行為上來看,我們大腦的構(gòu)成材料并沒有什么特殊的物質(zhì),至少是在與思想有關(guān)的范圍之中是這樣的。從某種角度看來組成大腦的物質(zhì)并非是真正的問題,真正的問題在于大腦的基本原件神經(jīng)元究竟做了什么以及它們彼此怎樣互相聯(lián)系,才使得大腦具有認(rèn)知能力。正是鑒于此,圖靈提出了“模仿游戲”,即如果一臺計算機(jī)被編程去和一個相當(dāng)聰明的人進(jìn)行一段對話,不管談話提出的主題是否是有效的,只要無法簡單地判斷在與他或她談話的是一個人或者是一個機(jī)器,圖靈就說我們應(yīng)該同意該計算機(jī)表現(xiàn)出了智能。從提出至今,圖靈的模仿游戲招致了無數(shù)的爭議,塞爾曾提出“中文屋”以反駁圖靈;休·羅布納在20世紀(jì)90年代初設(shè)立了人工智能年度比賽,將圖靈的“模仿游戲”付諸行動;在不久之前,圍棋人工智能程序AlphaGo在圍棋比賽中成功戰(zhàn)勝世界冠軍李世石。然而直至現(xiàn)在,并沒有一臺機(jī)器可以通過圖靈的“模仿游戲”測試,也沒有任何測試可以取代模仿游戲成為機(jī)器能思維的標(biāo)準(zhǔn)測試。作為機(jī)器能思維的充分條件,圖靈測試依然是人類實現(xiàn)自身以外智能而一直追求的目標(biāo)。

    圖靈是一個對于現(xiàn)代社會有相當(dāng)影響的人物,他論文中提出的“計算機(jī)”和“算法”兩個核心概念在今天依然受用,他的“模仿游戲”測試依然作為測試機(jī)器能否思維的一個標(biāo)準(zhǔn),他的通用計算機(jī)的設(shè)計理念和指令規(guī)則表的使用為后世計算機(jī)科學(xué)及其相關(guān)領(lǐng)域的發(fā)展奠定了基礎(chǔ),并使現(xiàn)代以信息為主導(dǎo)的社會的出現(xiàn)成為可能。

    [1] HINSLEY H,STRIPP A.Codebreakers:the inside story of bletchley park[M].Oxford:Oxford University Press,1993:12.

    [2] 馬丁·戴維斯.邏輯的引擎[M].張卜天,譯.長沙:湖南科學(xué)技術(shù)出版社,2006:64-65.

    [3] TURINGA.On computable numbers,with an application to the entscheidungsproblem[G].Proceedings of the London Mathematical Society,1936:230-265.

    [4] TURINGA.The t-function in λ-K-conversion[J].the Journal of Symbolic Logic,1937(2):42-43.

    [5] MARTIN D.Mathematical logic and the origin of modern computers[M].Oxford:Oxford University Press,1988:149-174.

    [6] VON NEUMANN J.The general and logical theory of automata[R].to be published.

    [7] VON NEUMANN J.The computer and the brain[M].New Haven:Yale University Press,1958.

    [8] RANDELL B.On Alan Turing and the origins of digital computers[M].[S.l.]:University of Newcastle upon Tyne,Computing Laboratory,1972.

    [9] VON NEUMANN J.Rigorous theories of control and information[G]//Theory of Self-Reproducing Automata.Urbana:University of Illinois Press,1966:50.

    [10]BURKS A W,GOLDSTINE H H,VON NEUMANN J.Preliminary discussion of the logical design of an electronic computing instrument[G]//The Origins of Digital Computers.[S.l.]:Springer Berlin Heidelberg,1982:399-413.

    [11]CARPENTER B E,DORAN R W.AM Turing’s ACE report of 1946 and other papers[M].[S.l.]:Massachusetts Institute of Technology,1986.

    (責(zé)任編輯 張佑法)

    Discussion of Turing’s Computable Thought

    HU Song

    (College of Marxism,Central China Normal University, Wuhan 430070,China)

    Turing’s computable thought has profound ideological origins, and the developments of Leibniz,Frege and Godel for artificial language has affected computable thought of Turing.The paperOncomputablenumbers,withanapplicationtotheEntscheidungsproblemhas proposed two abstract machines:Turing machine and general-purpose computer,and described basic structure and operation mode of both machines.Among them,general-purpose computer is the prototype of the modern computer;Turing’s computable thought fundamentally affected Von Neumann and thushelped him constructed the first computer. There is no substitute for Turing’s contribution to the development of the modern computer and machine intelligence.

    computable thought;Turing machine;all-purpose computer;modern computer;machine thought

    2016-09-12 作者簡介:胡嵩(1991—),男,湖北鄂州人,碩士研究生,研究方向:科學(xué)邏輯。

    胡嵩.論圖靈的可計算思想[J].重慶理工大學(xué)學(xué)報(社會科學(xué)),2016(11):32-37.

    format:HU Song.Discussion of Turing’s Computable Thought[J].Journal of Chongqing University of Technology(Social Science),2016(11):32-37.

    10.3969/j.issn.1674-8425(s).2016.11.004

    B81-05

    A

    1674-8425(2016)11-0032-06

    猜你喜歡
    紙帶圖靈掃描儀
    哈啰電動車發(fā)布智能新品哈啰B70 PRO,推出智能平臺圖靈T30
    消費電子(2022年5期)2022-08-15 08:20:52
    神奇的紙帶
    新英鎊
    小豬相框
    紙帶上的秘密
    人工智能簡史
    商界·時尚(2016年5期)2016-07-15 21:37:17
    語言與圖靈測試
    三維激光掃描儀在變形監(jiān)測中的應(yīng)用
    便攜高速文件掃描儀
    便攜高速文件掃描儀
    久久久久网色| 亚洲七黄色美女视频| 在线国产一区二区在线| 在线国产一区二区在线| 亚洲精华国产精华液的使用体验 | 搞女人的毛片| 免费人成在线观看视频色| 亚洲欧美日韩高清在线视频| 亚洲av成人精品一区久久| av在线老鸭窝| 直男gayav资源| 成年av动漫网址| 99久久人妻综合| 国产综合懂色| 99热这里只有是精品50| 成人欧美大片| 国产成人午夜福利电影在线观看| 日韩欧美在线乱码| 免费看光身美女| 大香蕉久久网| 在线a可以看的网站| 婷婷精品国产亚洲av| 日本黄大片高清| 久久精品人妻少妇| 亚洲精品久久久久久婷婷小说 | 小蜜桃在线观看免费完整版高清| 老女人水多毛片| 中文字幕久久专区| 国产亚洲精品av在线| 午夜免费男女啪啪视频观看| 麻豆一二三区av精品| 国产探花极品一区二区| 99久久精品一区二区三区| 欧美激情国产日韩精品一区| 亚洲色图av天堂| 小说图片视频综合网站| 天堂中文最新版在线下载 | 亚洲无线观看免费| 大香蕉久久网| 欧美最新免费一区二区三区| 国产高清三级在线| 亚洲欧美精品综合久久99| 久久精品国产鲁丝片午夜精品| 久久这里有精品视频免费| 成人永久免费在线观看视频| 九草在线视频观看| 国产免费一级a男人的天堂| 成人毛片a级毛片在线播放| 在线观看免费视频日本深夜| 精品熟女少妇av免费看| 日本成人三级电影网站| 亚洲激情五月婷婷啪啪| 人人妻人人澡欧美一区二区| 日韩制服骚丝袜av| 国产精品三级大全| 中文精品一卡2卡3卡4更新| 嫩草影院精品99| 六月丁香七月| 青春草国产在线视频 | 午夜精品一区二区三区免费看| 成人毛片a级毛片在线播放| 久久6这里有精品| 久久精品91蜜桃| 国产探花在线观看一区二区| 国产精品精品国产色婷婷| 亚洲国产欧美在线一区| 国产真实伦视频高清在线观看| 我的老师免费观看完整版| 日本黄大片高清| 国产黄片美女视频| 内射极品少妇av片p| 国产激情偷乱视频一区二区| 免费看av在线观看网站| 久久精品夜色国产| 午夜爱爱视频在线播放| 非洲黑人性xxxx精品又粗又长| 免费看美女性在线毛片视频| 亚洲av成人av| 国产精品无大码| 欧美日韩精品成人综合77777| av福利片在线观看| 两性午夜刺激爽爽歪歪视频在线观看| 精品久久久噜噜| 国产在线精品亚洲第一网站| 内地一区二区视频在线| 亚洲国产精品久久男人天堂| 99久久精品一区二区三区| 精品久久久久久久久久免费视频| 亚洲人成网站在线播| 最近2019中文字幕mv第一页| 久久精品久久久久久久性| 成人av在线播放网站| 亚洲欧美中文字幕日韩二区| 国产人妻一区二区三区在| 成人性生交大片免费视频hd| 能在线免费观看的黄片| 国产老妇伦熟女老妇高清| 亚洲精品久久国产高清桃花| 亚洲精品久久国产高清桃花| 性插视频无遮挡在线免费观看| 日本免费a在线| 有码 亚洲区| 国产高清视频在线观看网站| 久久婷婷人人爽人人干人人爱| 国产一区二区在线观看日韩| 伊人久久精品亚洲午夜| 国产精品国产高清国产av| 精品久久久久久久人妻蜜臀av| 高清在线视频一区二区三区 | 69av精品久久久久久| 欧美精品国产亚洲| 美女国产视频在线观看| 久久精品国产清高在天天线| 熟女电影av网| 亚洲第一区二区三区不卡| 在线国产一区二区在线| 天堂av国产一区二区熟女人妻| 蜜桃久久精品国产亚洲av| 亚洲精品456在线播放app| 久久精品久久久久久久性| 高清毛片免费看| 又爽又黄a免费视频| 国产麻豆成人av免费视频| 毛片女人毛片| 欧美zozozo另类| 免费人成视频x8x8入口观看| 国产精品女同一区二区软件| 青春草亚洲视频在线观看| 麻豆国产97在线/欧美| 亚洲国产欧洲综合997久久,| 国产精品三级大全| 亚洲av男天堂| 日本av手机在线免费观看| 久久久久久大精品| 成人午夜高清在线视频| 能在线免费看毛片的网站| 国产精品久久视频播放| 岛国在线免费视频观看| av视频在线观看入口| 综合色丁香网| 亚洲欧美日韩卡通动漫| 性插视频无遮挡在线免费观看| 国模一区二区三区四区视频| 性色avwww在线观看| 国产成人a∨麻豆精品| 99riav亚洲国产免费| 亚洲va在线va天堂va国产| 美女cb高潮喷水在线观看| 麻豆国产av国片精品| 日韩 亚洲 欧美在线| 日韩 亚洲 欧美在线| 中文字幕精品亚洲无线码一区| 久久精品夜色国产| 久久精品久久久久久久性| 成年av动漫网址| 日韩欧美国产在线观看| 国产高清三级在线| 成人美女网站在线观看视频| 黄色欧美视频在线观看| 国产av麻豆久久久久久久| 久久久欧美国产精品| 亚洲欧美成人精品一区二区| 国产精品麻豆人妻色哟哟久久 | 美女大奶头视频| 91av网一区二区| 91麻豆精品激情在线观看国产| 精品国产三级普通话版| 99久久精品热视频| 国产成人福利小说| 综合色丁香网| 亚洲五月天丁香| 美女cb高潮喷水在线观看| 精品一区二区三区视频在线| 日韩 亚洲 欧美在线| 非洲黑人性xxxx精品又粗又长| 欧美xxxx性猛交bbbb| 一级av片app| 亚洲图色成人| 国产精品久久电影中文字幕| 少妇的逼水好多| 亚洲丝袜综合中文字幕| 日韩一区二区视频免费看| 久久亚洲国产成人精品v| 国产精品.久久久| 三级国产精品欧美在线观看| 亚洲激情五月婷婷啪啪| 亚洲精品久久久久久婷婷小说 | 又爽又黄a免费视频| 国产又黄又爽又无遮挡在线| 最近最新中文字幕大全电影3| 女的被弄到高潮叫床怎么办| 在线播放国产精品三级| 美女被艹到高潮喷水动态| 成人永久免费在线观看视频| 白带黄色成豆腐渣| 精品一区二区三区人妻视频| 亚洲自拍偷在线| 搡女人真爽免费视频火全软件| 亚洲av成人av| 欧美性感艳星| 性插视频无遮挡在线免费观看| 在线免费十八禁| 中文字幕免费在线视频6| 久久久久久久久久成人| 日韩一本色道免费dvd| 91麻豆精品激情在线观看国产| av视频在线观看入口| 热99re8久久精品国产| 亚洲欧美日韩高清在线视频| .国产精品久久| 日韩av不卡免费在线播放| 国产精品日韩av在线免费观看| 好男人在线观看高清免费视频| 久久久久久久亚洲中文字幕| 黄色日韩在线| 欧美日韩在线观看h| 久久久精品欧美日韩精品| 麻豆国产av国片精品| 国产 一区 欧美 日韩| 三级男女做爰猛烈吃奶摸视频| 日韩精品有码人妻一区| 一区二区三区四区激情视频 | 亚洲av中文av极速乱| 国产成年人精品一区二区| 精品久久久久久久末码| 99久国产av精品| 91精品一卡2卡3卡4卡| 成年版毛片免费区| 五月伊人婷婷丁香| 亚洲av第一区精品v没综合| 久久久久性生活片| 亚洲av成人精品一区久久| 成人亚洲欧美一区二区av| 久久久久久伊人网av| 亚洲五月天丁香| 一卡2卡三卡四卡精品乱码亚洲| 波多野结衣巨乳人妻| 国产精品人妻久久久久久| 欧美日韩一区二区视频在线观看视频在线 | 免费不卡的大黄色大毛片视频在线观看 | 久久草成人影院| 伦精品一区二区三区| 日本五十路高清| av在线天堂中文字幕| 久久久久性生活片| 国产午夜精品一二区理论片| 国产高潮美女av| 床上黄色一级片| 国产精品一区www在线观看| 天堂网av新在线| 亚洲国产高清在线一区二区三| 99久久中文字幕三级久久日本| 丰满乱子伦码专区| 欧美色视频一区免费| 国产精品电影一区二区三区| 亚洲精品亚洲一区二区| 国产精品日韩av在线免费观看| 热99re8久久精品国产| av在线亚洲专区| 日本与韩国留学比较| 欧美一区二区亚洲| 欧美成人精品欧美一级黄| 岛国毛片在线播放| av国产免费在线观看| 亚洲欧美日韩卡通动漫| 成人二区视频| 国产成人freesex在线| 欧美日韩在线观看h| 久久6这里有精品| 亚洲人成网站在线播| 国产亚洲精品久久久久久毛片| 97超视频在线观看视频| 免费搜索国产男女视频| 亚洲图色成人| 午夜福利在线观看免费完整高清在 | av在线播放精品| 欧美色欧美亚洲另类二区| 欧美+日韩+精品| 精品久久久久久久久亚洲| 免费人成视频x8x8入口观看| 级片在线观看| 亚洲一区二区三区色噜噜| 男女边吃奶边做爰视频| 少妇人妻精品综合一区二区 | 99国产极品粉嫩在线观看| 一级二级三级毛片免费看| 国产单亲对白刺激| 日韩,欧美,国产一区二区三区 | 此物有八面人人有两片| 国产精品爽爽va在线观看网站| 99热全是精品| 久久精品国产亚洲av涩爱 | 中文精品一卡2卡3卡4更新| 美女xxoo啪啪120秒动态图| 嘟嘟电影网在线观看| 在线观看美女被高潮喷水网站| 国产精品一区二区三区四区免费观看| 成人高潮视频无遮挡免费网站| 免费看a级黄色片| 国产黄片视频在线免费观看| 国产精品嫩草影院av在线观看| 女的被弄到高潮叫床怎么办| 九草在线视频观看| 国产精品无大码| 色综合站精品国产| 欧美zozozo另类| 亚洲国产精品久久男人天堂| 啦啦啦韩国在线观看视频| 天天躁夜夜躁狠狠久久av| 欧美一区二区国产精品久久精品| 欧美xxxx性猛交bbbb| 亚洲成av人片在线播放无| 久久99蜜桃精品久久| 欧美在线一区亚洲| 中文在线观看免费www的网站| 日本免费一区二区三区高清不卡| 久久久精品94久久精品| 热99re8久久精品国产| 尾随美女入室| 亚洲欧美精品专区久久| 91在线精品国自产拍蜜月| 亚洲av电影不卡..在线观看| 老熟妇乱子伦视频在线观看| 国产免费一级a男人的天堂| 成年版毛片免费区| 国产伦一二天堂av在线观看| 黄色配什么色好看| 亚洲一级一片aⅴ在线观看| 最近视频中文字幕2019在线8| 国产伦精品一区二区三区视频9| 18禁在线无遮挡免费观看视频| 亚洲在线自拍视频| 一区二区三区高清视频在线| 嫩草影院精品99| 成熟少妇高潮喷水视频| 国产亚洲精品久久久久久毛片| 有码 亚洲区| 久久久国产成人精品二区| 免费无遮挡裸体视频| 长腿黑丝高跟| 欧美一区二区亚洲| 久久人人爽人人片av| 日韩一区二区视频免费看| 哪个播放器可以免费观看大片| 亚洲精品影视一区二区三区av| 成人美女网站在线观看视频| 国产精品综合久久久久久久免费| 国产亚洲91精品色在线| 免费看av在线观看网站| 成年版毛片免费区| 波多野结衣高清作品| 成人鲁丝片一二三区免费| 久久久久久久久久久免费av| 长腿黑丝高跟| 亚洲精品456在线播放app| 美女脱内裤让男人舔精品视频 | 国产精品嫩草影院av在线观看| 欧美日本视频| 成人三级黄色视频| 亚洲精品国产av成人精品| 免费人成在线观看视频色| 亚洲乱码一区二区免费版| 男女视频在线观看网站免费| 国产色婷婷99| 国产一区二区三区av在线 | 波野结衣二区三区在线| 国产国拍精品亚洲av在线观看| 夜夜夜夜夜久久久久| 白带黄色成豆腐渣| 亚洲欧洲日产国产| 女人被狂操c到高潮| 九九在线视频观看精品| a级毛片a级免费在线| 亚洲不卡免费看| 人人妻人人澡人人爽人人夜夜 | 少妇熟女欧美另类| 亚洲色图av天堂| 长腿黑丝高跟| 久久99热6这里只有精品| 日本成人三级电影网站| 狂野欧美激情性xxxx在线观看| 国产精品久久电影中文字幕| 一进一出抽搐gif免费好疼| 一级毛片电影观看 | 亚洲精品影视一区二区三区av| 乱码一卡2卡4卡精品| av在线观看视频网站免费| 天天躁日日操中文字幕| 亚洲成av人片在线播放无| 亚洲一级一片aⅴ在线观看| 三级毛片av免费| 国产成人一区二区在线| 我的女老师完整版在线观看| 99热这里只有是精品在线观看| 久久久久久久久久久免费av| 久久久精品94久久精品| 亚洲不卡免费看| 亚洲欧美日韩无卡精品| 毛片一级片免费看久久久久| 天堂影院成人在线观看| 男人舔奶头视频| 免费搜索国产男女视频| 精品久久久久久久人妻蜜臀av| 婷婷六月久久综合丁香| 秋霞在线观看毛片| 在线观看66精品国产| 国产精品爽爽va在线观看网站| 久久精品国产鲁丝片午夜精品| 亚洲av中文av极速乱| 毛片女人毛片| 中国美白少妇内射xxxbb| 九九久久精品国产亚洲av麻豆| 简卡轻食公司| 免费av不卡在线播放| 听说在线观看完整版免费高清| 真实男女啪啪啪动态图| 欧美日韩在线观看h| 久久九九热精品免费| 婷婷亚洲欧美| 久久久久久国产a免费观看| 亚洲av不卡在线观看| 1000部很黄的大片| av卡一久久| 日日摸夜夜添夜夜添av毛片| 久久久久久久久久黄片| 成熟少妇高潮喷水视频| 亚洲av中文av极速乱| 99在线视频只有这里精品首页| 伦理电影大哥的女人| 欧美一区二区国产精品久久精品| 观看免费一级毛片| 26uuu在线亚洲综合色| 午夜激情欧美在线| 午夜福利在线观看免费完整高清在 | av卡一久久| 亚洲无线观看免费| 99在线人妻在线中文字幕| 免费黄网站久久成人精品| 久久99蜜桃精品久久| 一本久久精品| 色综合色国产| 欧美一区二区国产精品久久精品| 老司机福利观看| 国产三级中文精品| 插阴视频在线观看视频| 亚洲,欧美,日韩| 黑人高潮一二区| 91精品国产九色| 欧美精品一区二区大全| 女人十人毛片免费观看3o分钟| 亚洲欧美成人精品一区二区| 亚洲欧美成人综合另类久久久 | 一级黄片播放器| 欧美三级亚洲精品| 舔av片在线| 精品国内亚洲2022精品成人| 26uuu在线亚洲综合色| 热99re8久久精品国产| 精品久久久久久久人妻蜜臀av| 亚洲综合色惰| 又爽又黄无遮挡网站| 日韩人妻高清精品专区| 国产亚洲精品久久久com| 婷婷精品国产亚洲av| 深爱激情五月婷婷| 国产精品电影一区二区三区| 99热网站在线观看| 欧美极品一区二区三区四区| 中文字幕人妻熟人妻熟丝袜美| 日本色播在线视频| 久久精品夜色国产| 两个人的视频大全免费| 国产精品久久视频播放| 日韩国内少妇激情av| 亚洲精品国产成人久久av| 真实男女啪啪啪动态图| 少妇丰满av| 国产一级毛片在线| 国产亚洲5aaaaa淫片| 一进一出抽搐动态| 欧美三级亚洲精品| 六月丁香七月| 久久久久国产网址| 欧美性猛交╳xxx乱大交人| 一级毛片aaaaaa免费看小| 免费不卡的大黄色大毛片视频在线观看 | 一个人看的www免费观看视频| 听说在线观看完整版免费高清| 免费人成在线观看视频色| 深夜精品福利| 亚洲天堂国产精品一区在线| 欧美日韩精品成人综合77777| 美女高潮的动态| 亚洲精品亚洲一区二区| 麻豆成人午夜福利视频| 天堂中文最新版在线下载 | 国产亚洲精品久久久com| 在线a可以看的网站| 亚洲七黄色美女视频| 国产伦一二天堂av在线观看| 听说在线观看完整版免费高清| 国产欧美日韩精品一区二区| 日韩三级伦理在线观看| 级片在线观看| 美女国产视频在线观看| 色尼玛亚洲综合影院| 精品国产三级普通话版| 蜜桃久久精品国产亚洲av| 少妇被粗大猛烈的视频| 嘟嘟电影网在线观看| 日本色播在线视频| 91精品国产九色| av国产免费在线观看| 欧美成人精品欧美一级黄| 亚洲欧美日韩无卡精品| 色视频www国产| 久久99精品国语久久久| 性欧美人与动物交配| 国产午夜精品久久久久久一区二区三区| 少妇熟女欧美另类| 精品人妻偷拍中文字幕| 能在线免费观看的黄片| 国产精品综合久久久久久久免费| 亚洲国产精品成人久久小说 | 亚洲最大成人手机在线| 日本黄大片高清| 午夜老司机福利剧场| 白带黄色成豆腐渣| 欧美激情在线99| 成年版毛片免费区| 六月丁香七月| 亚洲av二区三区四区| 美女内射精品一级片tv| 在线观看免费视频日本深夜| 97热精品久久久久久| 熟女电影av网| 国产亚洲av嫩草精品影院| 黄色一级大片看看| 女人十人毛片免费观看3o分钟| 亚洲欧美日韩东京热| 日日干狠狠操夜夜爽| 亚洲色图av天堂| 亚洲高清免费不卡视频| 波野结衣二区三区在线| 18禁在线无遮挡免费观看视频| 国产高清不卡午夜福利| 一边摸一边抽搐一进一小说| 女同久久另类99精品国产91| 在线观看午夜福利视频| 99视频精品全部免费 在线| 男插女下体视频免费在线播放| 国产成人精品久久久久久| 在现免费观看毛片| 国产女主播在线喷水免费视频网站 | 精品久久久久久成人av| 午夜a级毛片| 一本精品99久久精品77| 深夜精品福利| 免费观看精品视频网站| 国产成人福利小说| 午夜免费男女啪啪视频观看| 国产一区二区三区在线臀色熟女| 亚洲精华国产精华液的使用体验 | 亚洲无线观看免费| av视频在线观看入口| h日本视频在线播放| 美女内射精品一级片tv| 国语自产精品视频在线第100页| 欧美xxxx黑人xx丫x性爽| 女同久久另类99精品国产91| 午夜精品在线福利| 精品人妻偷拍中文字幕| 麻豆精品久久久久久蜜桃| 91av网一区二区| 国产91av在线免费观看| 搡女人真爽免费视频火全软件| 日韩欧美国产在线观看| 亚洲自偷自拍三级| 国产精品野战在线观看| 嫩草影院精品99| 少妇熟女aⅴ在线视频| 国产精品久久久久久av不卡| 伦理电影大哥的女人| 亚洲va在线va天堂va国产| 国内精品美女久久久久久| 国产黄色视频一区二区在线观看 | 国产 一区精品| 中文字幕制服av| 丰满人妻一区二区三区视频av| 亚洲在线观看片| 精品久久久久久久久av| 免费av观看视频| 国产高清有码在线观看视频| 在线观看66精品国产| 久久午夜亚洲精品久久| 色哟哟哟哟哟哟| 欧美xxxx性猛交bbbb| 波多野结衣高清无吗| 美女 人体艺术 gogo| 亚洲成人中文字幕在线播放| 晚上一个人看的免费电影| 3wmmmm亚洲av在线观看| 中文在线观看免费www的网站| 久久人人爽人人爽人人片va| 日韩一区二区视频免费看| 日韩强制内射视频| 亚洲最大成人中文| 一区二区三区免费毛片| 精品熟女少妇av免费看| 午夜免费激情av| 国产精品综合久久久久久久免费| 青春草国产在线视频 | 69人妻影院| 全区人妻精品视频| 狂野欧美白嫩少妇大欣赏|