小编Soh*_*lam的帖子

设计一个图灵机，输入两个非负数并对它们进行模运算，例如 mod(3,7)=3 和 mod(7,3)=1。显然，指定有关 TM 输入和输出的任何假设和格式。