470
个编辑
更改
小第59行：
第59行： − + 第65行：
第65行： − +
→柯式复杂度： 通用图灵机也可称为通用计算机
<math>
<math>
K(s) := C_U(x) = min\{ \lvert \lang M,w \rang \rvert: 图灵机M在输入w时停机并输出x \}
K(s) := C_u(x) = min\{ \lvert \lang M,w \rang \rvert: 通用计算机M在输入w时停机并输出x \}
</math>
</math>
<math>
<math>
K(s) := C_U(x) = min\{ \lvert \lang M,w \rang \rvert: M(w) = x \}
K(s) := C_u(x) = min\{ \lvert \lang M,w \rang \rvert: M(w) = x \}
</math>
</math>