第一章 · 01

MU 谜题

一个简单的谜题，探索形式系统的规则与局限。

本章通过一个简单的形式系统，展示了如何按照明确的规则操作符号，以及如何跳出规则来思考整个系统。这个系统称为 MIU 系统，由三个字母 M（Mechanical 机械）、I（Intelligent 智能）和 U（Un 无）组成。谜题的目标是从 MI 出发，通过规定的规则得到 MU。MU 同时也是禅宗“无”的日语读音。

中文版将 MIU 系统改称 WJU 系统，将 MU 谜题改称 WU 谜题。其中 W 代表“惟”，J 代表“机”，U 代表“无”，分别对应英文的 Intelligent、Mechanical 和 Un。WU 恰好是汉字“无”的汉语拼音，保留了原文的文字游戏。

MIU 符号工作台

目标MU

应用规则

当前字符串

2 / 256 字符

详细规则

从 MI 出发，每步选择一条已得到的字符串，并应用一条规则。

  1. 末尾是 I 时，在末尾追加一个 U。
  2. 将 M 后面的全部内容复制一遍，接在末尾。
  3. 选一处连续的 III，将这三个字母替换为一个 U。
  4. 选一处相邻的 UU，同时删掉这两个字母。

如果有多个匹配位置，点击带下划线的起始字母进行选择。再次点击规则按钮可取消选择。

字符串最多 256 个字符（包括开头的 M）。超过上限的操作不可用。

按钮图示：规则只能沿箭头方向使用；x 代表任意一段字符串，∅ 代表删除。

你能从 MI 出发推导出 MU，或者证明这个目标无法实现吗？