如何證明圖靈機屬性是微不足道的

Question

想象我有一個圖靈機屬性，看起來像這樣：

P = {M | L(M) is accepted by a Turing machine that does not halt in an even number of steps for any input} 

我如何證明這個屬性是小事？或者更一般地說，有沒有很好的方法來證明這種事情？

Answer 1

作爲一個提示：你可以做任何TM通過使美國的兩個副本奇數個步驟內始終停止 - 一個「奇」副本和「甚至」複製 - 以及它們之間來回切換的煩惱，當轉換髮生。一旦你這樣做了，你將如何修改這臺機器，以便它不會停止在幾個步驟？鑑於這種構造適用於任意的TM，你是否明白爲什麼上述屬性是微不足道的？

希望這會有所幫助！