first post here :)
I am trying to find a reduction from $A_{TM}$ to $\overline{CF_{TM}}$.
definitions:
$CF_{TM}\:=\:\left\{<M>| M\:is\:a\:TM\:and\:L\left(M\right)\:is\:a\:context-free\:language\right\}$
$A_{TM}\:=\:\left\{<M,W> |\:M\:is\:a\:TM\:and\:M\:accepts\:w\right\}$
I am having a hard time showing that or find a mapping reduction that would apply $x ∈ A_{TM} ⇔ f(x) ∈ \overline{CF_{TM}}$
Can't find such reduction unfortunately. struggling hours with it.
would really appreciate help with it