词条 波斯特-图灵机

波斯特-图灵机

Post-图灵机是一种特别简单类型的图灵机的"程序公式化",由下面描述的Emil Post的图灵等价的计算模型构成。(Post的模型和图灵的模型,尽管相互之间非常类似,但却是独立开发的。图灵的论文在1936年五月出版,Post的论文在十月出版。)Post-图灵机使用二元字母表,无限序列的二元存储位置,和带有在存储位置上双向移动和一次一个更改其内容的指令的原始编程语言。"Post-图灵程序"和"Post-图灵机"的名字由Martin Davis在1973年-1974年使用(Davis 1973, p.69ff)。后来Davis在1980年使用名字"Turing-Post程序"(Davis, in Steen p. 241)。

波斯特-图灵机相关文献
阿特罗波斯
其他颠茄属的属名(Atropa)来自阿特罗波斯,并由此衍生出生物碱阿托品(Atropine)的名字。骷髅天蛾的双名法学名(Acherontiaatropos)也用到了阿特罗波斯的名字。参考文献《希腊罗马神话词典》,中国社会科学出版社,统一书号:(精)10190·193
查看全文
伯特·波斯
著作他与哈肯·维姆·莱合著了一本关于CSS的书籍。CascadingStyleSheets:DesigningfortheWeb,ISBN0-201-41998-XCascadingStyleSheets:DesigningfortheWeb(第2版),ISBN0-201-59625-3CascadingStyleSheets:DesigningfortheWeb(第3版),ISBN0321193121
查看全文
皮特·波斯尔思韦特
生平2008年在英剧《司法正义》扮演一直在狱中帮助BenCoulter(由英国魅力演技派本·威士肖扮演),最后用自己生命换来Ben案件真相的Hooch。2011年1月2日,因癌症病逝于英格兰中西部施洛普郡(Shropshire)的医院中。荣誉2004年,获颁大英帝国勋章。作品
查看全文
波斯特-图灵机
Post模型在他1936年的论文"Finitecombinatoryprocesses—formulation1"(可以在TheUndecidable的289页找到它),EmilP
查看全文
图灵机
图灵的基本思想图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;而在每个阶段,人要决定下一步的动作,依赖于(a)此人当前所关注的纸上某个位置的符号和(b)此人当前思维的状态。在某些模型中,纸带移动,而未用到的纸带真正是“空白”的。要进行的指令(q4)展示在扫描到方格之上(由Kleene(1952)p.375绘制)。在某些模型中,读写头沿着固定的纸带移动。要进行的指令(q1)展示在读写头内。在这种模型中“空白”的纸带是全部为0的。有阴影的方格,包括读写头扫描到的空白,标记了1,1,B的那些方格,和读写头符号,构成了系统状态。(由Minsky(1967)p.121绘制)为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:一条无限长的纸带TAPE。纸带被划分为
查看全文
波斯特-图灵机相关标签
计算模型
家族谱大览
汪氏宗谱, 3, 卷3, 世系_ 61世时济 68世特公起
原书: [出版地不详 : 出版者不详], 民国29[1940]年. 3册: 世系表. 泸溪始迁祖(61世): 汪时济,字守经. 由井亭迁泸溪,一名龙溪. 注: 时济公在卷2为第1世. 时济下派祖(78世): 汪特. 散居地: 湖南省泸溪县等地. 书名据书版心题编目.
浏览:100
汪氏宗谱, 3, 卷3, 世系_ 61世时济 68世特公起
原书: [出版地不详 : 出版者不详], 民国29[1940]年. 3册: 世系表. 泸溪始迁祖(61世): 汪时济,字守经. 由井亭迁泸溪,一名龙溪. 注: 时济公在卷2为第1世. 时济下派祖(78世): 汪特. 散居地: 湖南省泸溪县等地. 书名据书版心题编目.
浏览:100
鹤岩马涧王氏宗谱 [5卷]
原书: [出版地不详] : 王氏宗谱编委会, 2001年修. 5册 : 插图, 世系表, 地图, 肖像. 收藏者 : 东阳图书馆. 受姓祖 : 王子普. 为司徒,王家之子. 居太原. 始祖(1世) : (唐) 王眀,字克允,号敬庵,行达339. 自紫坑界牌迁南里. 下二子: 王安,字定之,号仁宇,行广127 ; 王康(徒居台大田). 派祖(5世) : (唐) 王甫,字冠夫,号礼斋,行仍一 ; 王额,行仍二(早世) ; 王浩,字舒夫,号全斋,行仍三. 皆为僧公之子. 安公后裔. 甫公下分支祖(8世) : (唐宋之际) 王尚,字子志,行千一(迁十里头) ; 王进,字子先,行千二(迁居上王) ; 王珣,字子宜,行千九(居玉山南里). 王墈头派迁祖(8世) : 王望,字子俨. 浩公之后. 浩公下支祖(9世) : (宋) 王会,字嘉夫,号礼斋,行万五(下三子: 王华 ; 王世南 ; 王豪) ; 王袭,字荫夫,号集斋,行万六(下三子: 王依 ; 王台 ; 王亮). 豪公下分支祖(11世) : 王悌,字茂敬,号慕池,行义十二(同田派祖,下二子: 王思钟 ; 王思全) ; 王渊,字茂清,行义十四(新府派祖). 世南公下分支祖(12世) : (宋) 王思抃,字于忻(迁石门祖). 亮公下分支祖(12世) : 王思征(后里祖). 华公派下支祖(13世) : (宋) 王汝端,字守正,行纲一 ; 王汝特,字尔挺,行纲二 ; 王汝英,行纲四 ; 王汝表,字守端,行纲三. 世南公派下支祖(13世) : (宋) 王汝川, 字守赴,号必庵,行纲二十四. 依公派下支祖(13世) : 王汝增,行纲八 ; 王汝焘,字守容,号赴宗,行纲九. 汝焘公下二子: 王垍(石马祖) ; 王墀(鹤岩祖). 焘公下支祖(16世) : 王平,字元方,行贵三(双阜派,今居西金贡元世解元) ; 王和(桑梓派) ; 王寿,字元远(贡补西山派,今居仙兰). 墀公下分支祖(18世) : 王烘,字融之,号友(东宅派). 鹤岩派下房祖(23世) : 王永基,字舜德,号朴庵,行寿二十一(长房) ; 王永圻,字舜卿,号新塘,行寿三十九(二房) ; 王永垓,字舜田,号畏斋,行寿八十四(三房) ; 王永坦,字舜由,号直庵,行寿五十(四房). 鹤岩派下房祖续(23世) : 王永埜,字舜文,号知非,行寿六十(五房) ; 王永堪,字舜俞,号可斋,行寿七十九(六房) ; 王永垣,字舜墙,号拙斋,行寿八十九(七房) ; 王永坡,字舜耕,号迟斋,行寿一零七(八房). 排行字母 : 乾坤开泰运 仕达广慈彰 仍增百千万 信义衍纲常 庆贵明贤俊 荣华福寿昌 恭忠仁德智 恺悌胜安祥 功烈铭彛鼎 洪谟沛远方 贞肇辉崇景 繁禧萃茂良 春秋隆禋祀 肃穆跻冠裳 支派出从紫 渊源起自唐. 讳名字目 : 嘉元为彦士 用显运同扬 祖瑞贻应绍 宗传毓秀芳 正学经邦国 鸿修锡大光 人和思致美 志道焕文章 燕翼孙谋永 庭槐日月长. 南里排行字 : 文章振家园 历代见栋梁. 南里讳名字 : 继元为彦世 用显永同宗 祖德存思尚 朝邦国忠贤 太成宏茂肇 应守启光明. 散居地 : 浙江省东阳县等地. 书名据书签题, 及书脊题编目. 版心题 : 王氏宗谱.
浏览:0
鹤岩马涧王氏宗谱 [5卷]
原书: [出版地不详] : 王氏宗谱编委会, 2001年修. 5册 : 插图, 世系表, 地图, 肖像. 收藏者 : 东阳图书馆. 受姓祖 : 王子普. 为司徒,王家之子. 居太原. 始祖(1世) : (唐) 王眀,字克允,号敬庵,行达339. 自紫坑界牌迁南里. 下二子: 王安,字定之,号仁宇,行广127 ; 王康(徒居台大田). 派祖(5世) : (唐) 王甫,字冠夫,号礼斋,行仍一 ; 王额,行仍二(早世) ; 王浩,字舒夫,号全斋,行仍三. 皆为僧公之子. 安公后裔. 甫公下分支祖(8世) : (唐宋之际) 王尚,字子志,行千一(迁十里头) ; 王进,字子先,行千二(迁居上王) ; 王珣,字子宜,行千九(居玉山南里). 王墈头派迁祖(8世) : 王望,字子俨. 浩公之后. 浩公下支祖(9世) : (宋) 王会,字嘉夫,号礼斋,行万五(下三子: 王华 ; 王世南 ; 王豪) ; 王袭,字荫夫,号集斋,行万六(下三子: 王依 ; 王台 ; 王亮). 豪公下分支祖(11世) : 王悌,字茂敬,号慕池,行义十二(同田派祖,下二子: 王思钟 ; 王思全) ; 王渊,字茂清,行义十四(新府派祖). 世南公下分支祖(12世) : (宋) 王思抃,字于忻(迁石门祖). 亮公下分支祖(12世) : 王思征(后里祖). 华公派下支祖(13世) : (宋) 王汝端,字守正,行纲一 ; 王汝特,字尔挺,行纲二 ; 王汝英,行纲四 ; 王汝表,字守端,行纲三. 世南公派下支祖(13世) : (宋) 王汝川, 字守赴,号必庵,行纲二十四. 依公派下支祖(13世) : 王汝增,行纲八 ; 王汝焘,字守容,号赴宗,行纲九. 汝焘公下二子: 王垍(石马祖) ; 王墀(鹤岩祖). 焘公下支祖(16世) : 王平,字元方,行贵三(双阜派,今居西金贡元世解元) ; 王和(桑梓派) ; 王寿,字元远(贡补西山派,今居仙兰). 墀公下分支祖(18世) : 王烘,字融之,号友(东宅派). 鹤岩派下房祖(23世) : 王永基,字舜德,号朴庵,行寿二十一(长房) ; 王永圻,字舜卿,号新塘,行寿三十九(二房) ; 王永垓,字舜田,号畏斋,行寿八十四(三房) ; 王永坦,字舜由,号直庵,行寿五十(四房). 鹤岩派下房祖续(23世) : 王永埜,字舜文,号知非,行寿六十(五房) ; 王永堪,字舜俞,号可斋,行寿七十九(六房) ; 王永垣,字舜墙,号拙斋,行寿八十九(七房) ; 王永坡,字舜耕,号迟斋,行寿一零七(八房). 排行字母 : 乾坤开泰运 仕达广慈彰 仍增百千万 信义衍纲常 庆贵明贤俊 荣华福寿昌 恭忠仁德智 恺悌胜安祥 功烈铭彛鼎 洪谟沛远方 贞肇辉崇景 繁禧萃茂良 春秋隆禋祀 肃穆跻冠裳 支派出从紫 渊源起自唐. 讳名字目 : 嘉元为彦士 用显运同扬 祖瑞贻应绍 宗传毓秀芳 正学经邦国 鸿修锡大光 人和思致美 志道焕文章 燕翼孙谋永 庭槐日月长. 南里排行字 : 文章振家园 历代见栋梁. 南里讳名字 : 继元为彦世 用显永同宗 祖德存思尚 朝邦国忠贤 太成宏茂肇 应守启光明. 散居地 : 浙江省东阳县等地. 书名据书签题, 及书脊题编目. 版心题 : 王氏宗谱.
浏览:0
鹤岩马涧王氏宗谱 [5卷]
原书: [出版地不详] : 王氏宗谱编委会, 2001年修. 5册 : 插图, 世系表, 地图, 肖像. 收藏者 : 东阳图书馆. 受姓祖 : 王子普. 为司徒,王家之子. 居太原. 始祖(1世) : (唐) 王眀,字克允,号敬庵,行达339. 自紫坑界牌迁南里. 下二子: 王安,字定之,号仁宇,行广127 ; 王康(徒居台大田). 派祖(5世) : (唐) 王甫,字冠夫,号礼斋,行仍一 ; 王额,行仍二(早世) ; 王浩,字舒夫,号全斋,行仍三. 皆为僧公之子. 安公后裔. 甫公下分支祖(8世) : (唐宋之际) 王尚,字子志,行千一(迁十里头) ; 王进,字子先,行千二(迁居上王) ; 王珣,字子宜,行千九(居玉山南里). 王墈头派迁祖(8世) : 王望,字子俨. 浩公之后. 浩公下支祖(9世) : (宋) 王会,字嘉夫,号礼斋,行万五(下三子: 王华 ; 王世南 ; 王豪) ; 王袭,字荫夫,号集斋,行万六(下三子: 王依 ; 王台 ; 王亮). 豪公下分支祖(11世) : 王悌,字茂敬,号慕池,行义十二(同田派祖,下二子: 王思钟 ; 王思全) ; 王渊,字茂清,行义十四(新府派祖). 世南公下分支祖(12世) : (宋) 王思抃,字于忻(迁石门祖). 亮公下分支祖(12世) : 王思征(后里祖). 华公派下支祖(13世) : (宋) 王汝端,字守正,行纲一 ; 王汝特,字尔挺,行纲二 ; 王汝英,行纲四 ; 王汝表,字守端,行纲三. 世南公派下支祖(13世) : (宋) 王汝川, 字守赴,号必庵,行纲二十四. 依公派下支祖(13世) : 王汝增,行纲八 ; 王汝焘,字守容,号赴宗,行纲九. 汝焘公下二子: 王垍(石马祖) ; 王墀(鹤岩祖). 焘公下支祖(16世) : 王平,字元方,行贵三(双阜派,今居西金贡元世解元) ; 王和(桑梓派) ; 王寿,字元远(贡补西山派,今居仙兰). 墀公下分支祖(18世) : 王烘,字融之,号友(东宅派). 鹤岩派下房祖(23世) : 王永基,字舜德,号朴庵,行寿二十一(长房) ; 王永圻,字舜卿,号新塘,行寿三十九(二房) ; 王永垓,字舜田,号畏斋,行寿八十四(三房) ; 王永坦,字舜由,号直庵,行寿五十(四房). 鹤岩派下房祖续(23世) : 王永埜,字舜文,号知非,行寿六十(五房) ; 王永堪,字舜俞,号可斋,行寿七十九(六房) ; 王永垣,字舜墙,号拙斋,行寿八十九(七房) ; 王永坡,字舜耕,号迟斋,行寿一零七(八房). 排行字母 : 乾坤开泰运 仕达广慈彰 仍增百千万 信义衍纲常 庆贵明贤俊 荣华福寿昌 恭忠仁德智 恺悌胜安祥 功烈铭彛鼎 洪谟沛远方 贞肇辉崇景 繁禧萃茂良 春秋隆禋祀 肃穆跻冠裳 支派出从紫 渊源起自唐. 讳名字目 : 嘉元为彦士 用显运同扬 祖瑞贻应绍 宗传毓秀芳 正学经邦国 鸿修锡大光 人和思致美 志道焕文章 燕翼孙谋永 庭槐日月长. 南里排行字 : 文章振家园 历代见栋梁. 南里讳名字 : 继元为彦世 用显永同宗 祖德存思尚 朝邦国忠贤 太成宏茂肇 应守启光明. 散居地 : 浙江省东阳县等地. 书名据书签题, 及书脊题编目. 版心题 : 王氏宗谱.
浏览:0
鹤岩马涧王氏宗谱 [5卷]
原书: [出版地不详] : 王氏宗谱编委会, 2001年修. 5册 : 插图, 世系表, 地图, 肖像. 收藏者 : 东阳图书馆. 受姓祖 : 王子普. 为司徒,王家之子. 居太原. 始祖(1世) : (唐) 王眀,字克允,号敬庵,行达339. 自紫坑界牌迁南里. 下二子: 王安,字定之,号仁宇,行广127 ; 王康(徒居台大田). 派祖(5世) : (唐) 王甫,字冠夫,号礼斋,行仍一 ; 王额,行仍二(早世) ; 王浩,字舒夫,号全斋,行仍三. 皆为僧公之子. 安公后裔. 甫公下分支祖(8世) : (唐宋之际) 王尚,字子志,行千一(迁十里头) ; 王进,字子先,行千二(迁居上王) ; 王珣,字子宜,行千九(居玉山南里). 王墈头派迁祖(8世) : 王望,字子俨. 浩公之后. 浩公下支祖(9世) : (宋) 王会,字嘉夫,号礼斋,行万五(下三子: 王华 ; 王世南 ; 王豪) ; 王袭,字荫夫,号集斋,行万六(下三子: 王依 ; 王台 ; 王亮). 豪公下分支祖(11世) : 王悌,字茂敬,号慕池,行义十二(同田派祖,下二子: 王思钟 ; 王思全) ; 王渊,字茂清,行义十四(新府派祖). 世南公下分支祖(12世) : (宋) 王思抃,字于忻(迁石门祖). 亮公下分支祖(12世) : 王思征(后里祖). 华公派下支祖(13世) : (宋) 王汝端,字守正,行纲一 ; 王汝特,字尔挺,行纲二 ; 王汝英,行纲四 ; 王汝表,字守端,行纲三. 世南公派下支祖(13世) : (宋) 王汝川, 字守赴,号必庵,行纲二十四. 依公派下支祖(13世) : 王汝增,行纲八 ; 王汝焘,字守容,号赴宗,行纲九. 汝焘公下二子: 王垍(石马祖) ; 王墀(鹤岩祖). 焘公下支祖(16世) : 王平,字元方,行贵三(双阜派,今居西金贡元世解元) ; 王和(桑梓派) ; 王寿,字元远(贡补西山派,今居仙兰). 墀公下分支祖(18世) : 王烘,字融之,号友(东宅派). 鹤岩派下房祖(23世) : 王永基,字舜德,号朴庵,行寿二十一(长房) ; 王永圻,字舜卿,号新塘,行寿三十九(二房) ; 王永垓,字舜田,号畏斋,行寿八十四(三房) ; 王永坦,字舜由,号直庵,行寿五十(四房). 鹤岩派下房祖续(23世) : 王永埜,字舜文,号知非,行寿六十(五房) ; 王永堪,字舜俞,号可斋,行寿七十九(六房) ; 王永垣,字舜墙,号拙斋,行寿八十九(七房) ; 王永坡,字舜耕,号迟斋,行寿一零七(八房). 排行字母 : 乾坤开泰运 仕达广慈彰 仍增百千万 信义衍纲常 庆贵明贤俊 荣华福寿昌 恭忠仁德智 恺悌胜安祥 功烈铭彛鼎 洪谟沛远方 贞肇辉崇景 繁禧萃茂良 春秋隆禋祀 肃穆跻冠裳 支派出从紫 渊源起自唐. 讳名字目 : 嘉元为彦士 用显运同扬 祖瑞贻应绍 宗传毓秀芳 正学经邦国 鸿修锡大光 人和思致美 志道焕文章 燕翼孙谋永 庭槐日月长. 南里排行字 : 文章振家园 历代见栋梁. 南里讳名字 : 继元为彦世 用显永同宗 祖德存思尚 朝邦国忠贤 太成宏茂肇 应守启光明. 散居地 : 浙江省东阳县等地. 书名据书签题, 及书脊题编目. 版心题 : 王氏宗谱.
浏览:0