-
QQ空間
-
QQ好友
-
微信好友
-
新浪微博
波斯特-圖靈機(jī)
Post模型在他1936年的論文"Finitecombinatoryprocesses—formulation1"（可以在TheUndecidable的289頁(yè)找到它），EmilP
Post模型
在他1936年的論文"Finite combinatory processes—formulation 1"（可以在The Undecidable的289頁(yè)找到它），Emil Post描述了非常簡(jiǎn)單的一個(gè)模型，它被猜測(cè)為"邏輯上等價(jià)于遞歸函數(shù)"，并且后來(lái)被證明確實(shí)如此。
Post的模型采用了由"雙向無(wú)限序列的空間或盒子"組成的"符號(hào)空間"，每個(gè)盒子能處于在兩種可能狀態(tài)中之一，也就是"有標(biāo)記的"（一個(gè)豎線(xiàn)）和"無(wú)標(biāo)記的"（空）。最初，有限多的盒子是有標(biāo)記的，余下的是無(wú)標(biāo)記的。接著一個(gè)"工人"在盒子間移動(dòng)，一次只操作一個(gè)盒子，依據(jù)固定有限的"指令的集合"，它們編號(hào)為（1,2,3,...,n）。開(kāi)始于"被挑選為起點(diǎn)的盒子"，工人每次一條的服從于指令集合，開(kāi)始于指令1。
指令可以要求工人進(jìn)行下列"基本活動(dòng)"或"操作":
特別是，給工人的第i條"指令"是下列形式之一：
（上述交錯(cuò)的文本和斜體同最初一樣）。Post備注說(shuō)這種公式處于開(kāi)發(fā)的"初始階段"，并提及了在最終的"終極形式"中的一些可能的"更大的靈活性"，包括：
免責(zé)聲明：以上內(nèi)容版權(quán)歸原作者所有，如有侵犯您的原創(chuàng)版權(quán)請(qǐng)告知，我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫(xiě)的作者，感謝每一位的分享。
——— 沒(méi)有了 ———
編輯：阿族小譜
文章價(jià)值打分
- 有價(jià)值
- 一般般
- 沒(méi)價(jià)值
當(dāng)前文章打 0 分，共有 0 人打分
文章觀點(diǎn)支持
0
0
文章很值，打賞犒勞一下作者~
打賞作者
“感謝您的打賞，我會(huì)更努力的創(chuàng)作”
— 請(qǐng)選擇您要打賞的金額 —
{{item.label}}
{{item.label}}
打賞成功!
“感謝您的打賞，我會(huì)更努力的創(chuàng)作”
返回
打賞
私信
24小時(shí)熱門(mén)
推薦閱讀
· 伯特·波斯
著作他與哈肯·維姆·萊合著了一本關(guān)于CSS的書(shū)籍。CascadingStyleSheets:DesigningfortheWeb,ISBN0-201-41998-XCascadingStyleSheets:DesigningfortheWeb(第2版),ISBN0-201-59625-3CascadingStyleSheets:DesigningfortheWeb(第3版),ISBN0321193121
· 皮特·波斯?fàn)査柬f特
生平2008年在英劇《司法正義》扮演一直在獄中幫助BenCoulter（由英國(guó)魅力演技派本·威士肖扮演），最后用自己生命換來(lái)Ben案件真相的Hooch。2011年1月2日，因癌癥病逝于英格蘭中西部施洛普郡（Shropshire）的醫(yī)院中。榮譽(yù)2004年，獲頒大英帝國(guó)勛章。作品
· 阿特羅波斯
其他顛茄屬的屬名（Atropa）來(lái)自阿特羅波斯，并由此衍生出生物堿阿托品（Atropine）的名字。骷髏天蛾的雙名法學(xué)名（Acherontiaatropos）也用到了阿特羅波斯的名字。參考文獻(xiàn)《希臘羅馬神話(huà)詞典》，中國(guó)社會(huì)科學(xué)出版社，統(tǒng)一書(shū)號(hào)：（精）10190·193
· 圖靈機(jī)
圖靈的基本思想圖靈的基本思想是用機(jī)器來(lái)模擬人們用紙筆進(jìn)行數(shù)學(xué)運(yùn)算的過(guò)程，他把這樣的過(guò)程看作下列兩種簡(jiǎn)單的動(dòng)作：在紙上寫(xiě)上或擦除某個(gè)符號(hào)；把注意力從紙的一個(gè)位置移動(dòng)到另一個(gè)位置；而在每個(gè)階段，人要決定下一步的動(dòng)作，依賴(lài)于（a）此人當(dāng)前所關(guān)注的紙上某個(gè)位置的符號(hào)和（b）此人當(dāng)前思維的狀態(tài)。在某些模型中，紙帶移動(dòng)，而未用到的紙帶真正是“空白”的。要進(jìn)行的指令（q4）展示在掃描到方格之上（由Kleene（1952）p.375繪制）。在某些模型中，讀寫(xiě)頭沿著固定的紙帶移動(dòng)。要進(jìn)行的指令（q1）展示在讀寫(xiě)頭內(nèi)。在這種模型中“空白”的紙帶是全部為0的。有陰影的方格，包括讀寫(xiě)頭掃描到的空白，標(biāo)記了1,1,B的那些方格，和讀寫(xiě)頭符號(hào)，構(gòu)成了系統(tǒng)狀態(tài)。（由Minsky（1967）p.121繪制）為了模擬人的這種運(yùn)算過(guò)程，圖靈構(gòu)造出一臺(tái)假想的機(jī)器，該機(jī)器由以下幾個(gè)部分組成：一條無(wú)限長(zhǎng)的紙帶TAPE。紙帶被劃分為
· 波斯語(yǔ)
音系伊朗波斯語(yǔ)有六個(gè)元音和二十三個(gè)輔音，包括兩個(gè)塞擦音/t?/(ch)和/d?/(j)。元音歷史上，波斯語(yǔ)區(qū)分元音長(zhǎng)度:長(zhǎng)元音/i?/,/u?/,/??/分別對(duì)比于短元音/e/,/o/,/?/。波斯語(yǔ)方言和變種在元音上有所區(qū)別而非輔音。波斯語(yǔ)的元音音位輔音(在成對(duì)出現(xiàn)的符號(hào)中，右側(cè)的表示濁音。同位異音在方括號(hào)中。)語(yǔ)法構(gòu)詞后綴支配著波斯語(yǔ)構(gòu)詞，盡管有少量的前綴。動(dòng)詞可以表達(dá)時(shí)態(tài)和體貌，并且它們?cè)谌朔Q(chēng)和數(shù)上一致于主語(yǔ)。在波斯語(yǔ)中沒(méi)有性，對(duì)代詞也不標(biāo)記自然的性。句法一般直陳句子構(gòu)造為“(S)(PP)(O)V”。這意味句子可以包括可選的主語(yǔ)，前置短語(yǔ)，和賓語(yǔ)，跟隨需要的動(dòng)詞。如果指定了賓語(yǔ)，則這個(gè)賓語(yǔ)跟隨著詞rɑ:和前置短語(yǔ):“(S)(O+"rɑ:")(PP)V”。字母現(xiàn)代伊朗波斯語(yǔ)及阿富汗波斯語(yǔ)都是用一種阿拉伯字母的變體為其書(shū)寫(xiě)符號(hào)，其中用到一些在阿拉伯文中沒(méi)有的發(fā)音以及字母。在塔吉克使用的塔...
知識(shí)互答
關(guān)于我們
關(guān)注族譜網(wǎng) 微信公眾號(hào)，每日及時(shí)查看相關(guān)推薦，訂閱互動(dòng)等。
APP下載
下載族譜APP 微信公眾號(hào)，每日及時(shí)查看
掃一掃添加客服微信
{{item.time}} {{item.replyListShow ? '收起' : '展開(kāi)'}}評(píng)論 {{curReplyId == item.id ? '取消回復(fù)' : '回復(fù)'}}
{{_reply.time}}