当前位置: 华文星空 > 知识

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

2021-12-08知识

编辑:David 小咸鱼

【新智元 导读】近日,一位法国开发者Chloé Lourseyre在她的个人博客上提出了「猫猫计算机」的概念。由此,她提出了一个天马行空的想法:猫是不是「图灵完备 」的?它是「图灵机」吗?

软萌可爱的猫咪,总会唤起我们想要「撸猫」或者「吸猫」的冲动。

和猫咪待在一块,还真有种治愈的感觉。

而且,按照一位法国开发者Chloé Lourseyre的说法,猫咪甚至可以当计算机用!

近日,在她的个人博客上讨论了一个很重要的话题:猫是不是「图灵完备」的?它是「图灵机 」吗?

测试对象就是这只小猫Peluche

Peluche是一只毛茸茸的小猫,就住在Chloé Lourseyre家里。它就是今天的测试对象。

什么是图灵完备?

图灵完备性的概念是,如果某台设备可以模拟图灵机,那么它就可以执行任何类型的计算。

也就是说,任何能够通过以下4项测试的机器都是一台计算机(因此可以执行任何类型的计算)。这4项测试是:

  • . 和 , —— 输入和输出一个值。
  • + 和 - —— 增加和减少当前存储单元中包含的值。(图灵机有一个「存储带」,上面有「存储单元」。机器总是指向一个存储单元,也就是上面提到的「当前」存储单元。)
  • > 和 < —— 向左或向右移动当前存储单元。
  • [ 和 ] —— 执行循环。
  • 所以,如果 Peluche 能够通过这4项测试,就可以认为它是「图灵完备」的。

    图灵完备性的证明

    输入输出

    首先,为了验证能不能得到反馈,Chloé Lourseyre用手戳了戳 Peluche。

    它看了Chloé Lourseyre一眼,然后才转过身。

    < style data-emotion-css="1cspyqe"> .css-1cspyqe{position:absolute;width:100%;bottom:0;background-image:linear-gradient(to bottom,transparent,#ffffff 48px);} < style data-emotion-css="fxar0w"> .css-fxar0w{box-sizing:border-box;margin:0;min-width:0;height:110px;-webkit-box-pack:center;-webkit-justify-content:center;-ms-flex-pack:center;justify-content:center;-webkit-align-items:flex-end;-webkit-box-align:flex-end;-ms-flex-align:flex-end;align-items:flex-end;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;position:absolute;width:100%;bottom:0;background-image:linear-gradient(to bottom,transparent,#ffffff 48px);}
    < style data-emotion-css="1blqfh0"> .css-1blqfh0{font-size:16px;color:#09408e;margin-bottom:26px;-webkit-letter-spacing:0.4px;-moz-letter-spacing:0.4px;-ms-letter-spacing:0.4px;letter-spacing:0.4px;}
    < style data-emotion-css="8kn4zf"> .css-8kn4zf{margin-top:0;}
    发布于 2021-12-08 15:09
    < style data-emotion-css="ch8ocw"> .css-ch8ocw{position:relative;display:inline-block;height:30px;padding:0 12px;font-size:14px;line-height:30px;color:#1772F6;vertical-align:top;border-radius:100px;background:rgba(23,114,246,0.1);}.css-ch8ocw:hover{background-color:rgba(23,114,246,0.15);}
    < style data-emotion-css="1xlfegr"> .css-1xlfegr{background:transparent;box-shadow:none;} < style data-emotion-css="1gomreu"> .css-1gomreu{position:relative;display:inline-block;}