手机浏览器扫描二维码访问
第一百四十四章 图灵完备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年。死很容易，但无外力影响的时候，单靠体内循环死怎样死得这么快，是一个很复杂的问题。”
卢赫：“我假装认为你说得对，但你要告诉我，为什么这个复杂问题非得是“死”？就不能是活吗？对于生命体而言，活才是本能吧？”
外室娇软，作成奸臣白月光 三国：开局沦囚，厚黑军师归刘 魔道同人之忘羡有女 DC新氪星 哥你再兼职下去，妹妹升厅长了！ 绝艳风流狂医 神的角逐：我双重神职，唯一不死 敢提分手试试 文案大全集 丫鬟的青云路 我天！他仙王重生，你可怜他？ 末世天灾，我有无限超市屯满物资 六年后，她生的三个缩小版大佬炸翻了集团 你说什么？我又变成穷光蛋了？ 沐行记 谁敢惹首长的小甜心，灭他全家！ 火影：人在木叶，纲手给我生孩子 殿下，太子妃又去查案了！ 这个牧师技能全是百分比 惊！小作精在极限综艺靠作死爆红
被赶出侯府？无所谓，催爹读书寒门崛起
穿越真假少爷沙雕团宠一路爽飞养爹读书喜提离大谱！叶青青穿越当天，就从侯门小姐变成了乡下小妞。为了过上别的穿越女都能过上的富足日子，叶青青立下宏伟壮志催爹读书！亲情篇再苦不能苦孩子，再穷不能穷教育！笔墨纸砚，买！四书五经解读，买！辅导班，报！爹闺女，留着钱吃鸡不香吗？叶青青留着钱买锄头也很好挥！爹倒也不必。狗男人篇隔壁小猎户女人真麻烦，不想理。隔壁小猎户这个女人真麻烦，她一出现我就心跳加快。隔壁小猎户这个女人好讨厌，她一说话我就xxxx。隔壁小猎户这个女人好讨厌，她她和别的猎户说话？（一脸惊恐，立刻冲过去！）女主？...
三国：陛下，求您别再纳妃了
穿越东汉末年，成为傀儡皇帝刘协。要一辈子被圈养吗？不！系统觉醒，每诞下一个子嗣，便能获得各种奖励。于是，刘协疯狂纳妃，短短数年，后宫住满，疯狂耕耘之下，诞下子嗣过百。叮！恭喜宿主获得奖励，燧发枪图纸！叮！恭喜宿主获得奖励，西厂雨化田！之后，东厂曹正淳天地玄黄四大密探大雪龙骑袁左宗等等，相继报道。开局秒杀许诸，大败曹操。随后灭袁绍杀吕布战三英，横扫江东，平推西川，奠定万世之基！...
我家老婆可能是圣女
江左有个貌美的老婆，可是她却经常出差。 去干嘛？ 不是忙着给他带帽子，而是瞒着他降妖除魔去了。 得知真相的江左连连叹息，看来自己也坐不住了。 为了他美好的夫妻生活，江左只能暗中出手。 降妖除魔嘛，维护天地秩序嘛，没问题，老婆高兴就行。...
夫人被迫种地后开始撩汉
人人都说京城贺家大小姐贺妙妙在穷乡僻壤长大，是个乡野村姑，粗俗不堪，与贺家收养的二小姐完全不能比。她回到贺家后非要买一栋别墅专门种地，引来无数嘲笑。对此贺妙妙不屑一顾，怒我直言，在座各位都是垃圾，比不上我园里的一根草有价值。众人切了一声，你除了贪财好色，有霍少撑腰，还有什么？霍璟辞一把搂住贺妙妙的腰，怎么？本少爷就喜欢被她贪财被她好色，你们有意见？众人怂，敢怒不敢言。之后大家看见贺妙妙成绩班级排名第一，高考成了全国状元，玩个游戏轻松打上了国服，地里的草能救人性命众人嘴角抽搐，这打脸还能再来几下吗？...
毒妃有喜，我的将军好残暴
婚前，萧将军评价丞相家小姐不知羞耻！婚后，萧将军评价自己的夫人不堪入目！有人大着胆子问现在呢？萧将军立即道夫人沉鱼落雁，闭月羞花，温柔贤淑，善良可爱，人见人爱，花见花开本将军甚是喜欢。...
退婚后，妈咪带着崽崽飒翻豪门
萌宝马甲追妻火葬场真假白月光邵景淮和阮初初订婚后，总觉得她就是个恶毒爱演戏的女人，甚至还逼走了他的救命恩人白冉。直到有一天，这个女人跑路了，临走前还给他留了个崽。六年后，她回来了，一来就要跟他抢孩子。邵景淮满头黑线，只想狠狠收拾一顿这个不知天高地厚的女人。却不料，他发现，她还带了个崽回来？不但如此，救命恩人也是她？邵景淮慌了，一心只想求原谅。可阮初初却笑了无恨，哪来的原谅？我只想去夫留子，您请便。自此，双宝助攻路遥遥，邵总追妻路漫漫！...