登陆注册
57676100000351

第351章 停机问题

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

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

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

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

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

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

同类推荐
  • 爱上傲娇CEO

    爱上傲娇CEO

    还未进公司就罪公司CEO,刚进公司后,就被老板强行倒追…………
  • 达令30

    达令30

    三十岁对于女人是个坎儿,生于1990的蒋枪枪就在这个坎儿上,面对着职场、爱情、亲情、友情的种种关卡,是进是退也好像从来由不得她,但在岁月面前就看谁“坎”谁
  • 你的笑容如此灿烂

    你的笑容如此灿烂

    恋情失败后的我,不再相信什么是爱情,在深圳疗伤的过程中却卷入了一场父子之争,亲情,友情,爱情……却还有生存……我该如何选择,我的命运该将如何……有人曾经对我说,‘你的笑容如此灿烂’,我还有接着笑下去的勇气吗……
  • 母亲的眼

    母亲的眼

    我告诉自己不要哭,不要哭,可是写着写着,我的心情就变的特别难过。母亲,我们歌颂了几千年的母亲呀...
  • 开心就笑

    开心就笑

    陌生而又熟悉的旋律在空气中一点一点清晰,好像沿着这条记忆中的石板路一直跑下去,就能回到那曾经无忧的童年。阳光,天空,金灿灿的向日葵。杪冬撑着膝盖气喘吁吁。在他前面,熟悉的院子里,清澈的天空下,素坐在棕木摇椅里,怀里拥着还是孩子的自己。她带着淡淡的笑,一摆一摆唱着那些仿佛在祈祷般的歌。小小的杪冬半眯着眼,似乎就要这样暖暖睡去。阳光静悄悄的,在他们周围绕成一圈金色的光晕,让幸福的感觉变得有些遥不可及。
热门推荐
  • 重生嫁娶系统

    重生嫁娶系统

    系统在手,嫁娶不愁!尹沫心一醒来就发现自己换了身份、多了系统,一切看起来似乎还不错。等等等等,宣扬自己拜金、不退婚的情况下吊金龟婿?尹沫心暴汗,你确定你不是嫁不出去系统?什么?在你名声最臭的时候愿意娶你的才是真爱?而且目标男主已经出现需自己判断?咳咳..坑爹系统,你给我出来,我保证一巴掌绝对拍不死你。------------------ps:已有上架完结作品,坑品有保证,走过的路过的都快快跳到我的碗里来。
  • exo之你是我的一生

    exo之你是我的一生

    这是一本exo和一个组合叫梦中有你的故事
  • 叶先生我还在

    叶先生我还在

    他刚娶她便亡了父母,心有芥蒂,可慢慢相处,却觉得她很好,父母这事或许是有心人为之,他开始谋划,有意无意疏离了她些许,她却毫无怨言,一直在他的身边他苦她也苦,他开心她也开心,他要是难过了,她会担心,那时,他觉得人生有她足矣。
  • 绝世杀手妃:风华无限

    绝世杀手妃:风华无限

    她是21世纪杀手排行榜里的老三,代号despair,神秘指数五颗星!她就像一朵毒艳又娇美的花,千万不要被她角色的外表所迷惑,否则将会被一击毙命!一朝穿越,她竟穿到了羽国宋府的废柴三小姐身上。不被喜爱,还是羽国的大笑话!世人皆骂她是傻子小姐,丢尽了羽国的脸面。“哼,我到要让你们看看什么叫有眼无珠!”而他,则是全天下最高贵的人,当他慵懒的淡紫瞳底下映出了她的样子,却是又一副美景……你负责貌美如花,我负责你一世平安。
  • tfboys的宝贝女友

    tfboys的宝贝女友

    第一次写文章,写的不好请勿喷,有可能会有一点虐,请四叶草们不要介意。
  • 乐剑天涯

    乐剑天涯

    想当初,煮酒英雄,却已时过千年。有道是,黄河十曲,毕竟东流去。六百年血雨腥风,只一夜枯荣,问苍天,此生何必?昨夜风吹处,落叶飘飘谁细数。九万里天下苍穹,御风弄影,谁会和我与共?千秋北斗,瑶宫寒苦,若不为神仙眷侣,不如一统那百年江湖。
  • 杀生丸:许你一世安康

    杀生丸:许你一世安康

    她,家破人亡,沦落至战国时代。能穿越到这个既混乱,又安详的地方,是她的哥哥在最危机的时刻,开启了时空之门,他说:妹妹,那是属于你的世界,替我们好好活着。某鬼尊疑惑:属于她的世界?难道这是她第二次穿越???再次穿越,她遇到他,遇到那个狗血的他【咳咳咳,本来就是狗】某犬妖:咳咳,你也是妖,我们都一样。某鬼尊:咳,不一样,我是狐妖+狐仙,你是犬妖。【笑哭】某犬妖:……都是妖。某半妖:咳咳咳,我来凑个热闹,血月姐……(……姐……)某犬妖+鬼尊:起开!某半妖:呜呜呜~桑宝宝的心……某犬妖+鬼尊:……散了散了……如此狗血!你们看吗!!!
  • 修仙弃少当奶爸

    修仙弃少当奶爸

    他是家族弃少,却也是痴情男儿。五年前他被陷害,差点被害死,五年后绝世强者回归,杀戮果断,毫不留情,对敌人的仁慈就是对自己的残忍,这是他的座右铭。面对最爱的女人要跟他离婚,他霸气承诺“我会杀了你现在的老公,作为前夫重新追回你,让你重新爱上我。”。但他再霸气,再强,遇到乖巧可爱的女儿,也无可奈何,对敌人他冷酷,毫无耐心。可对家人,他温柔,耐心百倍。他是个说到做到,为了承诺不顾一切的傻子,他是个为了女儿,愿意奉献的超强奶爸,他更是个为了老婆,愿意树敌万千的痴情汉,他就是他,不一样的烟火,张默!一个被敌人提到便心惊胆战,被家人提到便暖心微笑的超强男人!...
  • 玄泆

    玄泆

    错乱的世界,被一手掌控的阴谋。压抑的,束缚的。嘶吼的,悲鸣的。“世界在崩塌,我们需要,一个奇迹”少年的眼里是坚定的光芒,他的金瞳是战神的祝福。“这世界,由我来拯救!”
  • 红尘白刃

    红尘白刃

    “五脏六腑是人与天地交互的关键,所以修炼先从五脏六腑开始,以呼吸引天地灵气,炼其身,淬其骨,修正道。”在弱肉强食的异界里,人心越发险恶,利益和实力是每个人终其一生所追求的,也正因为如此,真情也就更加珍贵。