Prove that the following problem is undecidable by a reduction from the halting problem:
“Does a given Turing Machine M accept any string of form a^2k for k ≥ 1?”
I'm having trouble understanding the intuition behind the Halting problem reduction, could someone please explain in an intuitive and easy to understand why this is the case? I've watched some videos and studied some material online but a, having a hard time with this concept.