I thought to reduce it to afrom the halting problem but ito conclude undecidability, yet I don't know how orto do it. Perhaps the problem reduces to other decidable problem of, and thus it is also decidable?
Became Hot Network Question