手机浏览器扫描二维码访问
第一百四十四章 图灵完备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新氪星 敢提分手试试 惊！小作精在极限综艺靠作死爆红 六年后，她生的三个缩小版大佬炸翻了集团 丫鬟的青云路 这个牧师技能全是百分比 谁敢惹首长的小甜心，灭他全家！ 魔道同人之忘羡有女 沐行记 末世天灾，我有无限超市屯满物资 文案大全集 我天！他仙王重生，你可怜他？ 三国：开局沦囚，厚黑军师归刘 哥你再兼职下去，妹妹升厅长了！ 绝艳风流狂医 火影：人在木叶，纲手给我生孩子 外室娇软，作成奸臣白月光 你说什么？我又变成穷光蛋了？ 殿下，太子妃又去查案了！
腹黑律师不好惹
s市有两名有着吸血鬼之称的人物，一位律师界的叶海蓝，一位商业界奇才连傲天。一次交通事故，钻石对钻石的强强对碰，相亲变成了相杀。暗青色的房间中，某男好看的唇角勾的极其地冷傲你知道跟妓女行业最相似的职业是什么吗？某女不怒反笑，双腿主动攻击夹着某男的窄腰不如，三千万，我买了三夜！一次一千万！如是，有史以来素有百花丛中过片叶不沾身的连大总裁以各种罪名被发了律师信。...
妖女乱国：附身傻女后我野翻了
出任务中途回家，发现自己的未婚夫正在和一个陌生女人正在深入感情交流。被发现后还振振有词，我是一个正常的男人。本以为是渣男在生死边缘疯狂起舞，没想到是敌人的陷阱，再次睁眼痴傻十几年萧府大小姐已经换了个人。还多了个未婚夫五皇子，想起前世的渣男，她费尽心思，终于解决了缠绕她许久的婚约风波，却又发现单身的她更加抢手，上门求亲的人络绎不绝。温柔冷漠的林家大少？慵懒邪佞的张家继承人？性格火爆的五皇子？...
五岁奶包一出手，全城妖邪抖三抖！
萌宝团宠火葬场丫丫想不明白，她和姐姐是双生姐妹，为什么爹爹哥哥们疼爱姐姐，却憎恨她掐死她。她寒了心，一把火烧了侯府，迈着六亲不认的步伐走出家门，告辞！三日后，渣爹和哥哥们看见京城权势滔天的雪衣少年抱着丫丫，又得知她在摄政王府过着小公主般的日子，不屑地冷哼王府很快便有血光之灾，死丫头很快就被赶出来！等着等着，他们发现不对劲了。摄政王府小世子的眼疾痊愈了！他们亲眼看见丫丫随手画的符箓被人争相抢购，一万两一张！又亲眼看见各国皇室都派皇子公主搬空国库大军压境来抢丫丫，甚至对丫丫顶礼膜拜下修界镇万妖掌生死的灵符师，旷古烁今第一人！渣爹哥哥们哭惨了，悔不当初跪求原谅。雪衣少年眸色狠戾再缠着丫丫，死！丫丫小手手一挥绝不原谅！每人赏一张恩断义绝符，一旦靠近便遭雷击！后来，皇室天团把丫丫宠成天底下最幸福最可爱的小公主。...
渣夫另娶，医妃带崽炸翻王府杀疯了
她，是21世纪鬼医圣手苏璃月，活死人肉白骨，千金难求她出手！一朝穿越成被发配尼姑庵的战王府弃妃，没被毒死却险些被呛死，更有邪火作祟，上岸便遇美男。你若乖点，我便对你怜香惜玉些。苏璃月挑起美男的下巴，一整个生吞活剥。什么，渣夫得胜归来就要另娶？看她怎么一身海青斗绿茶。皇家人找茬？看她不掀翻整个皇朝！什么？她竟还喜当娘？两个萌宝，一个能御兽，一个断吉凶，护起短来还奶凶奶凶！后来，绿茶女翻车了，白莲花被打脸了，整个京城都被搅合得天翻地覆，而从前那个暴戾冷情的战王爷竟摘下面具，露出那夜那张美男脸，自觉跪起了算盘。众人惊王爷不要白月光了吗？战王含泪爆吼都给本王闭嘴，王妃才是本王的白月光！两萌宝摇头渣爹，回头已晚，娘亲已在议亲。...
小鲛人，掉珍珠！腹黑狼王他要疯
（已完结）超甜双洁打怪升级，软糯哭包暴力小鲛人×腹黑占有欲强狼王俞瓷是鲛人一族中，公认的最不值钱白色珠光鲛人。蓝星上级为了各族平衡，决定让鲛人族交出来一位小鲛人去陆地生活。蒋少戈一眼看上这条还没驯服自己四肢，连路都走不好的俞瓷。二话不说，捞回家！自此，开始了养鱼之路。俞瓷像是被大灰狼给装在蜜罐子里宠着，哄着。舍不得凶他一句，因为这条小鲛人也太能哭了。大灰狼仅靠卖珍珠成为了蓝星第一富翁。可自家小笨鱼喜欢乱吃东西这个毛病，可把蒋大队长给愁坏了。不是说了不许吃外星来的东西吗？小鲛人是它先动的嘴QAQ大灰狼败下阵好好好，吃就吃了，别哭咱家仓库已经堆不下珍珠了。俞瓷泪眼婆娑道那我可不可以吃昨天咬伤你的那头鲨鱼。蒋少戈小鲛人一掉眼泪，大灰狼他要疯。蒋少戈耐心地陪着他成长。终于有一天，蒋少戈发现小鲛人变化巨大。小瓷，你尾巴是不是又变长了？俞瓷随手拧断一个外星蛇的脑袋，甩甩自己漂亮的珠光鱼尾。加上鱼尾我已经三米长了！蒋少戈喉结上下滑动两下，哑声说既然养熟了，就可以吃鱼了...
主角沐晴沐泽
团宠校园男女双洁宠文爽文沐晴上辈子瞎了眼，爱渣男信贱女，气死奶奶，害死六个哥哥，落得众叛亲离，惨死枪口的下场。重活一世，她发誓绝不再走前世旧路，好好守护家人！只是听说沐总最近包养了个娇滴滴的小女孩？某总裁冷眼一扫那是我妹！听说电竞大佬雨神悄悄回国约会小女友？某修长指尖飞扫键盘那是我妹！听说国际散打王哎哟哎哟，别打了某男人举着拳头那是我妹！众媒体唏嘘，怎么他们的妹妹都是同一个人。听说傅家太子爷昨晚和一名少女在酒店我知道了我知道了，一定是他妹妹！某帅气男人俊脸一黑，将身边的娇小少女往怀里一带，直怼镜头，霸气宣告这是我老婆！世上仅此唯一存在！...