rt，无聊时想到的

大概是这样：现给定一个模型（你可以大致理解为抽象后的题），能否在有限步内将其转化为另一个模型，或证明它无法转化为别的模型