Algorithm 从自动取款机减少到自动取款机（由我选择），从自动取款机减少到自动取款机

多个的约化，不是对称的。我试图证明这一点，但没有用 太好了

给定两种语言A和B，其中A定义为

A={w| |w| is even} , i.e. `w` has an even length

和

B=A_TM

，其中A_TM不可判定，但图灵可识别

鉴于以下减少：

f(w) = { (P(x):{accept;}),epsilon    , if |w| is even
f(w) = { (P(x):{reject;}),epsilon    , else

（请原谅我没有使用乳胶，我没有使用乳胶的经验）

---

正如我所看到的，从a的减少假设一瞬间

B Sigma*

，这样：

f(w) = x in A           if w is in B
     = x not in A       if w is not in B

因此，我们可以在输入

w

上描述以下算法[turing machine]

M

：

1. w' <- f(w)
2. if |w'| is even return true
3. return false

1。w'