手机浏览器扫描二维码访问
第一百四十四章 图灵完备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 我，哥布林，开局拯救精灵 快穿：恶毒美人又被变态围攻 相亲失败，闪婚霸总老公有点护短 我家夫君太凶残 大佬十代单传，我为他一胎生四宝 农家长姐当家致富 穿成男主的作精二嫂 凤啸九天之颠覆三界 重生皇子，召唤神将无敌于世 双向执刀人 炮灰女知青有签到系统 综漫：加入聊天群，拯救万界 陛下，帝姬从画中走出来了 我的男友非人类 悟空带我我修仙
替嫁成婚：亿万总裁爱上我
...
炼丹致富
小虎，大号林虎，长的虎头虎脑，人如其名，认识他的人都不叫他的大号，更喜欢叫他小虎。可是，有谁会想到，就是这个虎头虎脑的孩子，若干年之后，成为了一个惊天动地的大人物。尤其是他一手炼丹本领，折服了无数人。...
极品美女在身边
在莽夫眼里，他很暴力，难以战胜在智者眼里，他很聪明，智慧超群他在各国科学家眼中是个神，有人曾拿他与爱因斯坦做比较大科学家，大发明家，泡妞专家，不同的人给他不同的形容词，但都冠以超级专家程度他原来那么强，怎么会蠢到去得罪他得罪过他的人后悔不已他原来那么棒，怎么不早一点深入了解认识身边若干极品美女他就连扮猪吃老虎，也是专家级别的2010不容错过之都市精彩极品美女在身边Q群44319729，81273721...
快穿：我只想种田（快穿之我只想种田）
一锄头挖地挖到超大咸鱼干不是事儿，被咸鱼干臭晕就有点尴尬了，晕了后做梦预见凄惨未来就玄幻了，悲惨1，秦鱼郁郁寡欢。 然后浑身带着咸鱼干醉人芳香的一只猫出现了。 猫本殿是天神之子，为了消灭邪恶选择被封印千年万年，你就是我的有缘人！快，别废话了，跟我一起拯救三千小世界吧！ 说完后，它的肚子咕咕叫了。 一面现实种田，一面快穿攻略各种邪恶BOSS，后来她从内心闺秀喜欢种田的温柔少女进化成了表里不一笑里藏刀的温柔小姐姐。 秦鱼我真的只是想种田而已。 PS本文可撩妹撩男神，主暧昧，无CP，会防盗，先宣告一般，因此希望广大读者们事先有心理准备，不要强求CP或者抗议防盗，谢谢支持。...
御兽行
御兽之行，乃自然大道，虫鱼鸟兽，皆可通灵，助修者攀上无上巅峰。因为无法修行，在家中受尽冷眼，甚至抛尸祖坟。青梅竹马改投他人怀抱，兄弟背后捅刀。当自顾离家的绝世废柴，捡到一个古灵精怪的穿越少女，他的生活将发生怎么样的改变？通灵异兽化形符箓拟态傀儡。这是御兽师的天下！天命算师手捻胡须，你相中飞龙走凤，行云踏雾，命系千军！可最后却在心中补了一句，五行欠打然后第二天被称为天门圣体的时言便废了...
登顶炼气师
成为一名炼气师，能够做什么呢？驭气健体，治病防身，力大无穷，速度惊人，成为宗师，地球第一人楚风起初就是这样想的。可是，随着境界的提升，他愈发地认识到自己的天真，炼气师的真正强大之处，远远不止于此，那竟然是近乎修真者的存在。不知不觉，地球上已经找不到对手，可楚风的修行，才刚刚开始而已。才刚刚开始（这是一本无敌...