用纯加减乘除模拟图灵机:把纸带编码成一个自然数
jessi_cata · x · 2026-10-18
jessicata 解释如何只用皮亚诺算术(加法与乘法)模拟图灵机:把「纸带可能状态数」当作进制(如 10 进制),用两个数分别编码磁头左侧和右侧的纸带内容。例如左数 43580、右数 39921 表示纸带为 00043580[]12993000,其中 [] 是磁头。
这样「读左/右符号」「滑动纸带」都变成简单的除法、取模和乘法运算:读右侧紧邻符号即右数 mod 10;写入符号 5 并右移时,新左数 = 左数×10+5,新右数 = 右数÷10。以此回应「if P then Q 如何只用加法乘法编码」的提问。
所属事件:仅用加法乘法即可模拟图灵机:数学天然图灵完备(4 条相关)→
「研究」频道最新
- 东京大学研究:听到录音里的自己为何别扭,或因声音恐怖谷效应 — ssh4net · 2026-10-18
- MIT SANDO 无人机规划器:12 次真实飞行全部避开移动障碍 — Olivier__OG · 2026-10-18
- 受可解释性论文启发,无反传预训练 reportedly 提速 2.3 倍 — CatAstro_Piyush · 2026-10-18
- 训练后模型能感知激活探针存在,并跨 GPU 零样本泛化 — Sauers_ · 2026-10-18
- SimInfinity 机器人仿真基准将开源 1 万个真实场景仿真任务 — joemeno · 2026-10-18
- 论文:LLM 竞价采购平台可省 10%-71% 推理成本 — _onionesque · 2026-10-18