猫=图灵机?4项测试证明,「猫猫计算机」可执行任意计算
软萌可爱的猫咪,总会唤起我们想要「撸猫」或者「吸猫」的冲动。
和猫咪待在一块,还真有种治愈的感觉。
而且,按照一位法国开发者Chloé Lourseyre的说法,猫咪甚至可以当计算机用!
近日,在她的个人博客上讨论了一个很重要的猫=话题:猫是不是「图灵完备」的?它是「图灵机」吗?
测试对象就是这只小猫Peluche
Peluche是一只毛茸茸的小猫,就住在Chloé Lourseyre家里。它就是今天的测试对象。
什么是图灵完备?
图灵完备性的概念是,如果某台设图灵备可以模拟图灵机,那么它就可以执行任何类型的计算。
也就是说,任何能够通过以下4项测试的机器都是一台计算机(因此可以执行任何类型的计算)。这4项测试是:
. 和 , —— 输入和输出一个值。 + 和 - —— 增加和减少当前存储单元中包含的值。(图机?灵机有一个「存储带」,上面有「存储单元」。机器总是指向一个存储单元,也就是上面提到的「当前」存储单元。) > 和 < —— 向左或向右移动当前存储单元。 [ 和 ] —— 执行循环。
所以,如果 Peluche 能够通过这4项测试,就4项可以认为它是「图灵完备」的。
图灵完备性的证明
输入输出
首先,为了验证能不能得到反馈,Chloé Lourseyre用手戳了戳 Peluche。
它看了Chloé Lourseyre一眼,然后才转过身。
所以是这样的:Chloé Lourse测试yre戳了它一下,然后得到了一个反应。结论很明确,Peluche可以处理输入,并给出输出。
输入、输出已确认!
增减内存值
前几天,Chloé Lourseyre下班回来,发现厨房变成了这样:
到处都是猫粮……
但后来Chloé Lou证明rseyre仔细观察了一下,发现可以把撒上猫粮的地板按位置进行编号,就像下面这样:
在Chloé Lourseyre看来,这看起来很像内存带!Peluche可以将猫粮洒在地砖上,然后直接在地砖上吃掉它们,因此,Peluche可以,「增加和减少给定存储单元中包含的值。
增减内存值,已确认!
左右移动当前内存单元
还有一次,Chloé Lourseyre在洗碗时不小心把一些水洒在了 Peluche 身上。它开始在厨房里到处乱跑,弄得一团糟。
但是如果仔细观察(在红色猫猫箭头的尖端),不难注意到,Peluche一边乱跑,一边把自己装食物的碗移动了位置。
也就是说,Peluche将它的食物洒到另一块瓷砖上。这相当于移动指向当前内存的指针,编辑另一个内存单元。
移动内存单元,已确认!
执行循环
在厨计算房被Peluche搞的一团乱之后,很明显,Chloé Lourseyre不得不清理打扫。
然后不到五分钟后,Chloé Lourseyre回到厨房,又变成这样了:
所以,Peluche绝对可以执行循环......
循环已确认!
到这里为止,机」Chloé Lourseyre已经证明了Peluche确实是「图灵完备」的。那么下一个问题是,如何使用Peluche来执行高性能计算任务?
如何执行?首先要有代码,Chloé Lourseyre编了一段简单的代码,就像下面这样:(这个代可执码示例是一种奇特的新语言,名为「braincat」)
结果:Peluche什么都不做!
所以最后,Chloé Lourseyre不禁想,虽然猫是「图灵完备」的,但可能不是为了执行代码而设计的?
关于「猫猫计算机」
上面的「猫猫计算机」当行任然都是说笑话。根据Chloé Lourseyre的经验,当有人发现一种语言的新特征时,就开始到处使用。
「猫猫计算机」似乎是一个新手会犯的错误,但即使是最有经验的开发人员,有时也会犯新手错误,承认这一点没什么难为情的。
实际上,在面对意计编程语言的全新版本中的新功能时,积累经验的最好办法,就是把每个功能错误地使用一次,以避免今后的误用。
在使用某项功能之前,一定要先问问自己,这样做实际上是否有必要,否则你也可能犯下像「猫猫计算机」这样的错误。
另外,猫猫计算机很猫=费猫,所以不要这样做。
(此文的写作过程中,没有猫猫受到伤害,但有一只猫被轻轻地戳过几下。)
- ·为什么说区块链融合隐私计算是必然趋势?
- ·数据科学很性感?不,其实它非常枯燥!
- ·标签: 宏明电子 深交所 创业板 阻容元器件
- ·标签: 豆包 腾讯元宝 百度文心 科大讯飞
- ·标签: 格力空调 海信空调 真铜实料 铝代铜
- ·Salesforce为什么要收购Slack
- ·解读容器的 2020:寻找云原生的下一站
- ·标签: 地平线 征程7 征程6P 苏箐
- ·Canalys:2020年第四季度全球云服务市场激增100亿美元
- ·阿里云表格存储产品IoTstore2.0分析存储将商业化收费
- ·标签: 剑桥科技 高速光模块 财报分析 2026年Q1
- ·OpenAI 挥剑指向 LinkedIn,将于2026年推出 AI 招聘平台
- ·智元机器人联合创始人:GPT-6后将迎来初级AGI,AI正迈向“物理智能”时代
- ·库克:苹果 AI 中文版努力进入中国市场,改变生活方式
- ·支付宝上线AI招投标神器,6000万中小企业迎来商机拓展利器
- ·中国红十字基金会联合阿里云发布数字救援平台,面向全社会救援力量开放注册
- ·https://www.ntv.co.jp/3min/search/?action=QUERY&q=谷歌霸屏程序【tg:seogoogle987】,yXr
- ·https://www.polliwogs.com/search/谷歌霸屏程序【tg:seogoogle987】,GLv
- ·https://www.scivee.tv/?s=谷歌霸屏程序【tg:seogoogle987】,7Sm
- ·https://www.rollingstone.it/?ID=DVMeu3AlmzZE1cuJ2FmgmO5TSCQRb3yh&s=谷歌霸屏程序【tg:seogoogle987】,yy4
- ·https://www.parriscues.com/catalogsearch/result/?q=谷歌霸屏程序【tg:seogoogle987】,l5o
- ·https://www.lyrics.com/lyrics/kkk3谷歌霸屏程序【tg:seogoogle987】,DaJ
- ·https://www.umc.edu/search.aspx?ID=I4gnDKRS991MFcIDDzoYze4aWSAszAm7&q=谷歌霸屏程序【tg:seogoogle987】,Gnq
- ·https://www.springfieldlibrary.org/library/?s=谷歌霸屏程序【tg:seogoogle987】,BYf
- ·https://www.spicebar.de/catalogsearch/result/?q=谷歌霸屏程序【tg:seogoogle987】,n7U
- ·https://www.ushmm.org/search/results.php?q=谷歌霸屏程序【tg:seogoogle987】,ir7
- ·放不下想又怕原唱歌曲
- ·标签: 智慧互通 爱泊车 小米投资 港股上市
- ·微软开源 VibeVoice-1.5B 模型:90 分钟超长语音合成新突破
- ·标签: 微软 Mustafa Suleyman AI 超级智能
- ·标签: 人形机器人 具身智能 工信部 标委会
- ·听说你的多智能体强化学习算法不work?你用对MAPPO了吗
- ·Google Gemini CLI开放第三方扩展:Figma和Stripe率先入驻,命令行AI迎来生态之战
- ·Android 用户福音:OpenAI Sora 登陆 Google Play,已开放北美预注册
- ·华为要向苹果、三星、小米等收5G专利费,伤害不大,侮辱性极强
- ·标签: 携程 搜索 MC Beam
