手机浏览器扫描二维码访问
第一百四十四章 图灵完备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年。死很容易，但无外力影响的时候，单靠体内循环死怎样死得这么快，是一个很复杂的问题。”
卢赫：“我假装认为你说得对，但你要告诉我，为什么这个复杂问题非得是“死”？就不能是活吗？对于生命体而言，活才是本能吧？”
大明第一贪官 直播成精app 穿越之表妹不好当 佛系美人，恋综爆红 高危人格扮演守则 四合院的自在日子 白助理他真有个三岁崽 华娱重回2004 众星之子 农女买夫 ［ABO］沉醉于她的信息素 侍枕席 重回天灾末世，开局我选择发疯 争仙！从窥探人心开始 特案组来了个狐狸精 我的钱又又又多了[重生] 我的温柔狼君 无限：反派的洗白之路 团宠福宝有空间 弃坑代价是成为主角挚友
战国第一纨绔
公元前361年，战国时代，大争之世。这一年，一个满心壮志的年轻人孙膑刚刚告辞了师傅下山，准备去魏国安邑投奔自己的师兄庞涓。这一年，庞涓还是魏国的大将军，位高权重。霸主魏国威震天下的时代已经持续了六十二年，看起来还将持续下去。这一年，秦孝公刚刚颁布了招贤令，商鞅尚未入秦，还是魏国相邦公叔痤的家臣。这一年，田因齐尚未继位成为那位青史留名的齐威王，还在魏国之中苦逼充当一名质子。也是在这一年，吴杰穿越到了一个魏国纨绔子弟的身上，开始了他注定多姿多彩载入史册的纨绔人生。如果您喜欢战国第一纨绔，别忘记分享给朋友...
宝可梦之龙系天王
高端的食材，往往只需要最简单的烹饪方式赵方安稳的坐在烤架旁边，慢慢的翻动着烧烤架。对吧，鲤鱼王？看着身边瑟瑟发抖的鲤鱼王，赵方笑的更加开心了。凭什么暴鲤龙不算龙！阿罗拉椰蛋树那也算龙？面对采访，赵方振振有词。如果您喜欢宝可梦之龙系天王，别忘记分享给朋友...
王妃是朵黑莲花
秦薄邕知道她千娇百媚，张扬恣意，是这人间富贵花。一朝失忆，富贵花没了变成楚楚动人的小白花，原本的情仇他想作罢，偏生小白花一改往常，黏他爱他盯着他。如果您喜欢王妃是朵黑莲花，别忘记分享给朋友...
扶贫那些事
内容简介本文通过主人翁独孤兰住村扶贫的经历，全面深入的描绘出当前乡村状况，以至到乡镇县市机关的状况。把说不出说不明说不了的事和人，完整的呈现在读者的面前。当然了，社会上的事纷繁复杂，社会上的人有好有坏，还有多变的人性。也只有这样，才能构成社会。作者力求把社会上阳光和阴影无保留的献出，让读者有深入的感官认识。本故事纯属虚构，如有雷同，实属巧合。如果您喜欢扶贫那些事，别忘记分享给朋友...
重生之我的倒插门前夫你别跑
重生前，骆君言眼瞎心盲，把真心对自己好的男人伤得体无完肤，却把渣男当真爱，最后被坑得人财两失，还差点坐牢！重生后，骆君言决定痛改前非，手撕渣男小三，并且坚定的要死缠烂打去挽回她的倒插门儿前夫。只是俗话说得好，虐夫一时爽，追夫火葬场！原本温柔体贴，又细心的倒插门而绵羊先生，一个转身就成了身价百亿的冷情总裁。以至她千般套路，万分柔情，也难换回他从前对她的半分柔情眷恋。可她就要么放弃吗？当然不会！她一人上阵不行，那就两个人！三岁的小包子，聪明伶俐又可爱，只需当妈的一个眼神，立马飞扑上去抱大腿，爸爸两个字更是叫得既干脆又响亮。男人一张冷脸终于破功，一把将骆君言拽进房间，说要与她单独谈谈。小包子看着面前那道被无情关上的房门，双手一摊我是多余得了呗！如果您喜欢重生之我的倒插门前夫你别跑，别忘记分享给朋友...
领主之军团召唤
且看主角如何使用骑马与砍杀士兵卡历史名军军团召唤，带领大汉子民所建立的领地乃至帝国，征服整个世界！相关元素骑马与砍杀全面战争帝国时代历史名将。这是一部通过战争和掠夺建设领地的热血争霸文！如果您喜欢领主之军团召唤，别忘记分享给朋友...