Let $G$ and $H$ be finitely generated free groups, and let $f:G\to H$ be a homomorphism specified by giving the images of the generators of $G$.
Is there an algorithm which takes such an $f$ and a word $w\in H$ and tells if $w \in f(G)$?
Is there such an algorithm in the special case where $G=H$?
Thanks-