猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算

猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

【导读】近日 , 一位法国开发者Chloé Lourseyre在她的个人博客上提出了「猫猫计算机」的概念 。由此 , 她提出了一个天马行空的想法:猫是不是「图灵完备」的?它是「图灵机」吗?
软萌可爱的猫咪 , 总会唤起我们想要「撸猫」或者「吸猫」的冲动 。
和猫咪待在一块 , 还真有种治愈的感觉 。
而且 , 按照一位法国开发者Chloé Lourseyre的说法 , 猫咪甚至可以当计算机用!
近日 , 在她的个人博客上讨论了一个很重要的话题:猫是不是「图灵完备」的?它是「图灵机」吗?
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

测试对象就是这只小猫Peluche
Peluche是一只毛茸茸的小猫 , 就住在Chloé Lourseyre家里 。它就是今天的测试对象 。
什么是图灵完备?
图灵完备性的概念是 , 如果某台设备可以模拟图灵机 , 那么它就可以执行任何类型的计算 。
也就是说 , 任何能够通过以下4项测试的机器都是一台计算机(因此可以执行任何类型的计算) 。这4项测试是:
.和, —— 输入和输出一个值 。
+ 和 - —— 增加和减少当前存储单元中包含的值 。(图灵机有一个「存储带」 , 上面有「存储单元」 。机器总是指向一个存储单元 , 也就是上面提到的「当前」存储单元 。)
> 和 [和] —— 执行循环 。
【猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算】所以 , 如果 Peluche 能够通过这4项测试 , 就可以认为它是「图灵完备」的 。
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

图灵完备性的证明
输入输出
首先 , 为了验证能不能得到反馈 , Chloé Lourseyre用手戳了戳 Peluche 。
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

它看了Chloé Lourseyre一眼 , 然后才转过身 。
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

所以是这样的:Chloé Lourseyre戳了它一下 , 然后得到了一个反应 。结论很明确 , Peluche可以处理输入 , 并给出输出 。
输入、输出已确认!
增减内存值
前几天 , Chloé Lourseyre下班回来 , 发现厨房变成了这样:
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

到处都是猫粮……
但后来Chloé Lourseyre仔细观察了一下 , 发现可以把撒上猫粮的地板按位置进行编号 , 就像下面这样:
猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
文章图片

文章图片

在Chloé Lourseyre看来 , 这看起来很像内存带!Peluche可以将猫粮洒在地砖上 , 然后直接在地砖上吃掉它们 , 因此 , Peluche可以增加和减少给定存储单元中包含的值 。
增减内存值 , 已确认!
左右移动当前内存单元
还有一次 , Chloé Lourseyre在洗碗时不小心把一些水洒在了 Peluche 身上 。它开始在厨房里到处乱跑 , 弄得一团糟 。

推荐阅读