四进制造物主
首页

第一百四十四章 图灵完备(100)

卢赫:“什么叫自动机?“

艾达否:“自动机就是对信号序列进行判定的数学模型。我嘴里的自动机特质有限状态机,当这个机处于某种状态时,它会读到相应的信号,根据转移函数跳到下一个状态,可以视作一台没有内存结构的计算机。

比如你现在饿了,那你就要去食堂,把晶莹饱满、粘糯有较劲、香到不可思议的新米饭一勺一勺填进嘴里,直到胃被塞满。饥饿感是信号,饿了要吃饭是状态,去食堂是转移函数,饱是执行完转移函数之后的新状态。

你每时每刻都在处理各种各样的状态,直到停机,或者说死掉。”

卢赫:“那什么叫图灵完备?”

艾达否:“能模拟图灵机的自动机称作图灵完备。”

卢赫:“什么叫图灵机?”

艾达否:“一个可以执行任何算法的简单模型。它有一个无限长的纸带,纸带被分成一个个相邻的格子,每个格子都可以写上至多一个字符;它还有一个读写头,可以读取、擦除、写入当前格子的内容,也可以每次向左或向右移动一个格子;它有一个字符表,包含纸带上可能出现的所有字符;

它还要有一个状态寄存器,追踪每一步计算过程机器所处的状态直到停机;它还可以包含一个指令集,用来指定读写头的行为,比如你告诉读写头:当你身处编号53的格子并看到其内容为0时,擦除,改写为1,并向右移一格。此外,令下一状态为运行。

举个栗子,如果它的字符集只包含0、1和空白,那么它就是一个包含3个信号的图灵机。如果它的纸带上写了个110,那么你可以让它执行一系列的指令执行位反转算法,把110改写成001。比如:指针遇0写入1纸带右移,遇1写入0纸带右移。

那你要问了,如果指针遇到空字符呢?

你没有告诉它遇到空字符怎么做,所以它只会不断读取空字符,但不操作。这个时候你可以给它加一个状态指令:遇到空字符就停机,它就可以完美执行你的位反算法。它现在可以被视为一个包含3个信号和1个状态的有限状态机。

如果你吃饱了撑着没事干,想要把它设计得复杂一些,比如想让它一做完位反转运算就复原,把110变成001后再复原成110。那么你给它两个状态:当读写头在向右移动的过程中读到空字符时,改为向左移动;当读写头在向左移动的过程中遇到空字符时,停机。这是一个包含3个信号和2个状态的有限状态机.。

本章未完,请点击下一页继续阅读! 第1页 / 共4页

相关小说

他和她们的群星 网游 /
他和她们的群星
流血的星辰a
七八小说免费提供作者(流血的星辰a)的经典小说:《他和她们的群星》最新章节全文阅...
8626012字12-26
只有我能用召唤术 网游 /
只有我能用召唤术
竹楼听细雨
七八小说免费提供作者(竹楼听细雨)的经典小说:《只有我能用召唤术》最新章节全文...
7374001字03-05
轮回乐园 网游 /
轮回乐园
那一只蚊子
七八小说免费提供作者(那一只蚊子)的经典小说:《轮回乐园》最新章节全文阅读服务,...
17850961字03-11
星球大战之第四天灾 网游 /
星球大战之第四天灾
镜大人
七八小说免费提供作者(镜大人)的经典小说:《星球大战之第四天灾》最新章节全文阅...
6668659字12-22
水蓝星人类崛起 网游 /
水蓝星人类崛起
爱吃树炒肉的施令
七八小说免费提供作者(爱吃树炒肉的施令)的经典小说:《水蓝星人类崛起》最新章节...
614322字04-02
铁血所至,万邦俯首 网游 /
铁血所至,万邦俯首
左跳跳右跳跳
七八小说免费提供作者(左跳跳右跳跳)的经典小说:《铁血所至,万邦俯首》最新章节全...
901113字04-02