如何证明Turinh机器无法解决的问题？

Question

让我们证明问题不能通过算法解决：B（M）= 1，如果M-Turing Machine程序并且没有输入任何长度为2、4、6、8的字符串，则M停止在该字符串上

我的想法是：

M =“在输入字符串w：上。

1. 扫描磁带，并标记未标记的第一个0。如果未找到未标记的0，请转到阶段4。否则，将磁头移回到磁带的前面。
2. 扫描磁带，并标记第一个尚未标记的磁带。如果未找到未标记的1，则拒绝
3. 将磁头移回到磁带的前面，然后转到阶段1。
4. 将磁头移回到磁带的前面。扫描磁带，看是否还有未标记的1。如果未找到，请接受；否则，请接受。否则，拒绝。” 执行完这些算法后，如果没有字符串适合所给定的相关大小，则它将到达默认位置，并将默认输出打印为1。

但是我真的不确定