手机浏览器扫描二维码访问
第一百四十四章 图灵完备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年。死很容易，但无外力影响的时候，单靠体内循环死怎样死得这么快，是一个很复杂的问题。”
卢赫：“我假装认为你说得对，但你要告诉我，为什么这个复杂问题非得是“死”？就不能是活吗？对于生命体而言，活才是本能吧？”
争仙！从窥探人心开始 特案组来了个狐狸精 侍枕席 重回天灾末世，开局我选择发疯 白助理他真有个三岁崽 ［ABO］沉醉于她的信息素 团宠福宝有空间 穿越之表妹不好当 高危人格扮演守则 直播成精app 弃坑代价是成为主角挚友 我的温柔狼君 众星之子 佛系美人，恋综爆红 农女买夫 大明第一贪官 华娱重回2004 四合院的自在日子 我的钱又又又多了[重生] 无限：反派的洗白之路
她心灰嫁傻子却被傻子丈夫带飞
关于她心灰嫁傻子却被傻子丈夫带飞在现代刚把父亲弄进监狱的姚彤佳，坐飞机出事穿进年代文里面，什么他们一家三口都是炮灰，都是为了给女主腾位置？让她有人上人的位置？好让她有匹配男主的身份。而他们这些给他腾位置的人，当然是能有多远滚多远，早死早超生，有什么好争的？连带着隔壁屋的男炮灰，你也是给男主腾位置的主，我们都躺平吧！可是妈妈，你能不能少爱我一点，弟弟你能不能别用那崇拜的眼神看着我，还有男炮灰，你别对我那么依赖，我会承受不住！算了，谁说炮灰就一定得死？我们这群炮灰还就不认命，努力着，奋斗着，一不小心，把男女主都给斗跨，混得风生水起！新作品出炉，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！...
乔家大院
他性好老庄，逍遥度日，却因兄长过世而一肩担起了庞大家族的生死存亡他挚爱青梅竹马的恋人，却不得不娶富商之女挽救家族危机，一生负疚他为开辟商路，汇通天下，多次身陷困境，危在旦夕...
战王归来
宇哥，你会装逼吗？呵，装逼不敢说有多大的造诣，就是天赋异禀！！夏宇点了根两块五的甲天下，扣着脚丫子一脸淡然。如果您喜欢战王归来，别忘记分享给朋友...
替嫁婚宠：霸道老公深度爱
送个酒而已，她倒霉地赔掉自己，还不知对方是谁。然而霉运继续，姐姐逼她嫁给自己不要的男人，只因他是Gay。Gay？太好了！她可以不用担心臭男人性骚扰。至此，她夜夜羞耻的梦不断，醒来浑身惨不忍睹。特么！到底怎如果您喜欢替嫁婚宠霸道老公深度爱，别忘记分享给朋友...
娇妻在策
一个是商界要风得风，要雨得雨的富二代，这是他，齐氏太子爷，齐子墨一个是从小娇生惯养尊处优，不知人间疾苦为何物的傲娇大小姐，这是她，服装业首屈一指的企业家，候佩涵一贯万花丛中过，片叶不留身的齐氏太子爷有一天突然被曾经有过有过一面之缘的女子当众表白，表白后被拒，心有不甘，隔日便携着下属高调宣布，他，我正牌男友，于是无辜被撩后便被晾在一边的齐子墨怒了，愤怒之下的某人做出了一件事后另他懊恼不已的事，行，他为了证明自己不是人面兽心当众宣布，娶，结果太太娶回了家，却发现明明不久前还扬言喜欢他的人，转身就视他为透明人，显然没有已为人妇的自觉，还干嘛还干嘛，她已工作为由，潇洒的拍拍屁股走了，美其名曰开拓海外市场需要她，狗屁需要于是齐先生不声不响的转身追到了美国，酒店门口堵住她，看着女子一副见鬼的表情，怎么？几日不见不认识了？候佩涵，你，你怎么来了？齐子墨挑眉，目光幽深吐出四个字，，候佩涵想不透婚后的生活，让她如此，，她当初到底是如何脑子闪路喜欢上他的，呜呜，她后悔了，她要离婚，离婚！一对一，傲娇女对腹黑男先婚后爱的故事！如果您喜欢娇妻在策，别忘记分享给朋友...
主神猎手
在武侠世界中，化身肌肉猛汉，以力镇压江湖横扫千军，成为一代草莽至尊在巫师世界中，和死灵为伍与天灾为伴，就连最勇猛的战士，都不敢念出他的邪恶名字在仙侠世界中，独立山巅，静观沧海桑田，留下了手握日月摘星辰，世间无我这般人的绝世传说赵离在各个位面对抗炼狱空间青铜门空间梦魇空间等等主神存在时，不得不击...