登陆注册
57676100000451

第451章 停机问题

什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。

马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。

那什么又是不可以计算的?

首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z,有如下判定:

对于一个给定的瞬间描述α,判定是否存在一个以α开始的对Z的计算。也就是说,我们希望如果给定初始状态,那么Z会不会最终停止?这就是Z停机问题。

最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”

同类推荐
  • 月明天

    月明天

    最开始的时候没有找到自己想写的路子,跟着自己的心情写到哪里是哪里,特别是前一百章有意象的描写,让人很难看下去。过了一百章,好像逐渐找到自己能写的东西,是关于自己以前看过、经历过的故事再加以想象,加工出来给观众看,实际也是对自己幻想的补偿。写这样的小说,知道自己写的很幼稚,内容也容易触及敏感的问题,自己也被禁了好几次,战战兢兢,姑且写着吧。
  • 前面的你

    前面的你

    落日的余辉照映在他身后,它背后的书包影子衔接犹如一个可爱乌龟。轻偷着跟他尾随,一个拐弯的路口,乌龟变成一个大口怪兽露出慎血微笑似乎要把我吃掉。我害怕极了,猛烈的惊吓发现是在床上,难道它是一个梦?我惊奇发现默默凝望许久手臂上牙齿的咬痕……怎么伸手都抓不住前面的影子……
  • 纪念逝去

    纪念逝去

    你若不离,我便不弃;你若离去,后会无期......爱,与爱过之间,是整个曾经......爱你的战场,我,已经阵亡......
  • 怀念那年夏天的风

    怀念那年夏天的风

    高中生林希转学圣星一中却是垫底生,同学们的嘲笑令她孤僻,直到遇见同样转学的他——顾晨,他们之间会有结果吗……
  • 三十三杯鬼咖啡

    三十三杯鬼咖啡

    三十三杯鬼咖啡,三十三个鬼故事,三十三个,生离死别。这是真与假,光与暗的交织。在某市的某个角落,有一家荒凉的咖啡厅,这里经常无人问津,直到……这个人的到来。
热门推荐
  • 顾少的双面新妻

    顾少的双面新妻

    起初,云曼是带着怨愤来的,不知何时已经转化为柔情蜜意,那些恩怨情仇似乎都是为了日后的甜蜜。在所有人的眼里顾夫人从来都是单纯纯善的,只有顾言廷了解,那个小女人的张扬一直都在骨子里,只是压抑在一张精致的皮囊里。
  • 重生之我的明星梦

    重生之我的明星梦

    正值大好青春的我,正幻想着同女神丽颖妹子来个亲密接触,却莫名其妙的附身到一个十二三岁的一个熊孩子上重新来过,玩我呢,这难道才是梦吗...不过这个世界好奇怪,以往电视上脸熟的汪峰、章子怡、范冰冰哪里去了,正在卫视热播的《射鸟英雄传》是什么鬼,我的雕兄呢...且看一名死宅因缘际会下如何在平行世界的星坛上迸发第二春...【恳请大大们看过之后,顺手扔几张票支持一下,鞠躬,敬礼!】
  • 魅夕痕

    魅夕痕

    当古武世家幼龄女遇上出山透气小狐狸,外冷内热的女娃娃从此结缘于各路牛鬼蛇神。住的是道观,处的是阴差,救得是孽债,交的是恶魔,原以为可以平平淡淡当个人生过客,可是为啥伴随着她那消失已久的狐狸宝宝回归,她的眼前是个大大的陷阱呢。。。。。。佛曰我不入地狱谁入地狱,夕痕同学义无反顾的投身地狱探险的浪潮,本着船到桥头自然直的啊Q精神憨笑,“可爱的家人,我来了!”
  • 若是久长时1

    若是久长时1

    她一直以为火车上是他们的初相遇,只有他知道,那是他十二岁以来一直在等的重逢,一眼一辈子!那一年,她九岁,他十二岁!她是个“野”丫头,他是个“落难”的小子。那一年,她十八岁,他二十一岁!她是刚入校的学生,他是即将毕业的军官!她有她的“青梅竹马”,他有他的“红颜知己”。究竟是谁遗忘了谁,谁又在一直寻找着谁?当繁华落尽,谁又在等着谁。两情若是久长时,又岂在朝朝暮暮?
  • 离开后爱上你

    离开后爱上你

    一个神秘的电话,让一对相恋十一年即将步入婚姻殿堂的恋人分道扬镳。她不知道他为什么突然绝情离开,不知道他去了哪里。她疯狂地找他,他躲着不见她。记忆中皆是花明月皎,现实却是一片断壁残垣……相思相遇……转身回首……爱忧情愁、离合悲欢,一切都从这里开始……
  • 羊脂球续写

    羊脂球续写

    羊脂球在鸟先生一帮人的哄骗之下,答应陪普鲁士军官睡觉以让他答应放行,事后那帮人丑陋嘴脸具现,更加瞧不起她,马车到达下一站迪耶普,羊脂球遇见了她的三个好朋友,聪明的拉斐尔,开朗的迈瑞和美丽的佛丽娜,为了替羊脂球报仇,拉斐尔开始与皮卡尔上尉的交易,究竟旅馆里的这些人何去何从?
  • 重生敌妹

    重生敌妹

    少女面对着死敌,展开了搏斗,可惜最终失败,被逼无奈,转世轮回。轮回后的少女莫名的回到了十年前,并且附身在一名与自己同名同姓的女孩身上,然而自己的哥哥,还是与自己没有血缘关系的少年,那少年,好巧不巧的正是上辈子少女的死敌。如果,你认为这是一个少女从恨到爱上少年或少年疯狂保护少女,两人相爱的故事的话,那你就错了。这其实是一个揭秘少女与少年两人秘密的故事。少女在接下来的生活,遇到了无数件事,脑海中却莫名其妙出现奇怪的记忆,这些奇怪的记忆让少女痛苦不堪,为了知道自己的身世以及记忆的事,展开了冒险。...少年为护少女而死......四大凶兽的复苏......仙界......“与其相爱...与其相恨...不如一刀两断!”
  • 月神无双

    月神无双

    万年前,只因我是神你是魔,注定我们今生无缘。我愿拿来世做赌注,只为和你长相厮守。朝暮:“忘了我吧!”如此我毁了神识。汝爱我心,我怜汝意,以是因缘,经百千劫,自在缠缚。唯剩的只有那朵睡莲在世间摇曳。
  • 临界的逆旅

    临界的逆旅

    “喂,我帮你找人,你就跟我组搭档,如何?”一个少年小偷和一个非人类怪小子组成的搭档,踏上的将会是改变他们一生成长冒险之旅。然而这么一对损友却总能处处闹出笑话,互损互娱,为你带来幽默诙谐的日常生活和满满期待的旅程。各种反差萌的风格,既是伙伴又是坑友,充满的是单纯又生动的非凡冒险。
  • 不想再被碰瓷了

    不想再被碰瓷了

    【甜文1vs1,】洛倾妍为了复活,她要到各个世界做红娘,牵红线。明明是帮别人谈恋爱,帮着帮着自己就多了个男朋友。这些都不重要,为什么这个男朋友老爱碰瓷!!有点吃不消……她第一次遇见他,在游泳池,他用不熟练的泳姿碰瓷了她,偷了一个人工呼吸。后来,他以游泳为名接近她,得到了一朵迷迭香,从此,他喜欢上了那种花……接着……画风有点不太对。为什么他成了她家小朋友?不应该发展成情侣吗?一次不成,他又换个方向准备第二次。只是,这次相杀不相爱是什么鬼?不对,他还是爱她的,但是,她只想着别人怎么办?他不死心,又换个方向碰瓷洛倾妍,只为求得她的青睐。最后,为什么都是这么奇怪的关系?