啃书文学网

手机浏览器扫描二维码访问

第一百四十四章 图灵完备100%(第1页)

卢赫:“什么叫自动机?“

艾达否:“自动机就是对信号序列进行判定的数学模型。我嘴里的自动机特质有限状态机,当这个机处于某种状态时,它会读到相应的信号,根据转移函数跳到下一个状态,可以视作一台没有内存结构的计算机。

比如你现在饿了,那你就要去食堂,把晶莹饱满、粘糯有较劲、香到不可思议的新米饭一勺一勺填进嘴里,直到胃被塞满。饥饿感是信号,饿了要吃饭是状态,去食堂是转移函数,饱是执行完转移函数之后的新状态。

你每时每刻都在处理各种各样的状态,直到停机,或者说死掉。”

卢赫:“那什么叫图灵完备?”

艾达否:“能模拟图灵机的自动机称作图灵完备。”

卢赫:“什么叫图灵机?”

艾达否:“一个可以执行任何算法的简单模型。它有一个无限长的纸带,纸带被分成一个个相邻的格子,每个格子都可以写上至多一个字符;它还有一个读写头,可以读取、擦除、写入当前格子的内容,也可以每次向左或向右移动一个格子;它有一个字符表,包含纸带上可能出现的所有字符;

它还要有一个状态寄存器,追踪每一步计算过程机器所处的状态直到停机;它还可以包含一个指令集,用来指定读写头的行为,比如你告诉读写头:当你身处编号53的格子并看到其内容为0时,擦除,改写为1,并向右移一格。此外,令下一状态为运行。

举个栗子,如果它的字符集只包含0、1和空白,那么它就是一个包含3个信号的图灵机。如果它的纸带上写了个110,那么你可以让它执行一系列的指令执行位反转算法,把110改写成001。比如:指针遇0写入1纸带右移,遇1写入0纸带右移。

那你要问了,如果指针遇到空字符呢?

你没有告诉它遇到空字符怎么做,所以它只会不断读取空字符,但不操作。这个时候你可以给它加一个状态指令:遇到空字符就停机,它就可以完美执行你的位反算法。它现在可以被视为一个包含3个信号和1个状态的有限状态机。

如果你吃饱了撑着没事干,想要把它设计得复杂一些,比如想让它一做完位反转运算就复原,把110变成001后再复原成110。那么你给它两个状态:当读写头在向右移动的过程中读到空字符时,改为向左移动;当读写头在向左移动的过程中遇到空字符时,停机。这是一个包含3个信号和2个状态的有限状态机.。

只要你给它添加足够多的状态,并把这个假想模型物理实现,就能够让它执行一切复杂算法,只要这个算法是可计算的。”

卢赫:“你在这里做了限定,只能执行可计算的算法。”

艾达否:“没错,它只能解决可计算的问题。你可以给它一个正整数n,让它判断n是否是质数,但不能问它今天中午食堂会有什么饭。你可以给它一个逻辑蕴含的命题,要求它求出逆否命题,但不能包含悖论,比如理发师给并且只给那些不给自己理发的人理发,那他给不给自己理发?”

卢赫:“这么简单的结构,对于复杂算法它是如何算的呢?”

艾达否:“它算起来也很简单。三种基本函数:零函数、后继函数、投影函数,外加三种基本操作:函数组合、原始函数递归以及极小化,就能够解决一切可计算问题[1]。”

卢赫:“……我换个我能听懂的问题吧,怎样判断一个语言是图灵完备的?”

艾达否:“如果一个语言能够实现上述的三种基本函数和基本操作,并且能够据此实现偏递归函数,那么它就是图灵完备的。”

卢赫:“为什么这么说?”

艾达否:“因为只有能实现偏递归,才能够实现无限循环,在没收到停机指令时,永远运行下去[2]。能够实现递归和无限循环是图灵完备的必要条件。”

卢赫:“……我再换一个问题,你凭什么说基因组语言是图灵完备的?”

艾达否:“递归你知道吧,首先是把复杂问题拆解为一系列子问题,直到最低层级的子问题太过简单以至于无法拆分,这是递。接下来,一旦最低层级的子问题被解决,上一层的子问题也就解决了,直到最顶层的复杂问题,这是归。

复杂问题:要人快快死。最低层级的子问题:基因上要有接口或者被胡乱编辑。某一天,接口来了,最低层子问题被解决,人自然很快就死了。这个过程也许无法用确切的函数来描述,但我愿称之为广义递归。”

卢赫:“让人死有那么难吗?怎么就死得快就是递归了?”

艾达否:“有。从基因突变到第一个癌细胞产生,再到瘤子大到可以被ct扫描出来,平均时间是15年。死很容易,但无外力影响的时候,单靠体内循环死怎样死得这么快,是一个很复杂的问题。”

卢赫:“我假装认为你说得对,但你要告诉我,为什么这个复杂问题非得是“死”?就不能是活吗?对于生命体而言,活才是本能吧?”

我的男友非人类  Sin2a加Cos2a 1  一摸一个不吱声  凤啸九天之颠覆三界  双向执刀人  重生皇子,召唤神将无敌于世  神仙肉  我家夫君太凶残  鬼嗣元年  大佬十代单传,我为他一胎生四宝  相亲失败,闪婚霸总老公有点护短  农家长姐当家致富  带着土着种田吧  我,哥布林,开局拯救精灵  综漫:加入聊天群,拯救万界  悟空带我我修仙  炮灰女知青有签到系统  陛下,帝姬从画中走出来了  穿成男主的作精二嫂  快穿:恶毒美人又被变态围攻  

热门小说推荐
规培医生

规培医生

医生,居全球最受尊重的职业排行首位,高学历高智商高收入。故事的主人公曾经也这么认为,而真正做了医生才知道,这是一个高投入高强度高压力高风险的职业。当下,医患纠纷呈不断上升之势,医患关系已经紧张到了白热化的程度。曾经被赞美称医者仁心的医生们,处于人人自危又人人自保的两难中,这种尴尬的环境又...

都市之神级高手

都市之神级高手

火爆畅销,十万阅读一个上古强者的灵魂,转世附身在了一个大家族的纨绔子弟身上,且看他如何纵横花都,踏上世界巅峰。...

绝品异瞳高手

绝品异瞳高手

李清羽林静雅免费阅读书名叫绝品异瞳高手免费阅读,绝品异瞳高手小说主角李清羽林静雅,小说绝品异瞳高手全文简介李清羽的女朋友因为爱慕虚荣,从网络借贷平台借了两万块钱,结果到期无钱归还,被债主逼债。李清羽陪着女朋友去找债主,请求宽限几天,结果债主提出了一个让李清羽的女朋友无法拒绝,却让李清羽万分羞辱的建议...

汉末辽王

汉末辽王

现实世界的穷小子烂屌丝,在一系列悲催悲催再悲催的情况下,穿越到了当时被称为极北苦寒之地的辽东。本想过着平凡的生活,却被这乱世所迫,无奈提三尺长剑,护卫自己心爱之人。本书是小人物的天下!看猪脚是怎样带着一群在历史上默默无闻之人,打败那些猛将,雄主!大汉辽王,占辽东,平幽州,败袁绍,杀曹操,霸中原,威震华夏...

心安之处即是归途

心安之处即是归途

你,做好了随时直面死亡吗。有的人,人生如一本书,不打开,你看不到里面的内容,你也许会嗤之以鼻,总感觉无所谓的与己何干。打开了,当你看见了里面的内容,引不起你的共鸣,你也觉得乏繁可尘,当你能读懂的时候,你又觉得不过尔尔,呵呵。有的人,人生如一盏茶,苦涩浓郁是他,清淡回甘亦是他,余韵悠长亦可,沁人心脾亦有。如高山,如流水,如蜿蜒的溪流,如波澜诡谲的江河,如汹涌澎湃的大海,如淡淡天上浮云,如空空人间至味,如点点夜空繁星,如呵呵,很多很多,更有自己的滋味。人的一生,经历的事情可多可少,当你想要添点味道的时候,那你就勇往直前,自有千般滋味待你,当你想要平淡度日,亦可退一步渡了自我。和风煦日,暖烈骄阳,究竟是心随境转,还是境随心转,不去自己品味践行,您怎知色即是空空即是色?诸恶莫作,众善奉行,自净其意。感恩感恩,‘本来无一物,何处惹尘埃’呵呵。人,有的时候想要清淡素雅,却偏偏活成了故事。...

暖情相爱共此生厉景琛布桐

暖情相爱共此生厉景琛布桐

布桐在路边捡了个帅到惨绝人寰的老公,婚后,厉先生化身妻奴,宠起老婆来连老婆本人都怕。老公,说好的高冷呢?厉先生无辜摊手,高冷在你面前一无是处。厉先生要出差一个月,布桐假装闷闷不乐相送,转身就开香槟庆祝,终于可以放大假了。第二天醒来,厉先生站在床头,太太,惊不惊喜?感不感动?布桐不敢动,不敢动...

每日热搜小说推荐