Solution
= Solution
The relation $A\leq_mB$ means that there is a total computable function $g:\mathbb W\to\mathbb W$ such that
$$
\boxed{w\in A\quad\Longleftrightarrow\quad g(w)\in B}
$$
for every word $w$. Such a $g$ is a <many-one reduction>.
= Solution
The relation $A\leq_mB$ means that there is a total computable function $g:\mathbb W\to\mathbb W$ such that
$$
\boxed{w\in A\quad\Longleftrightarrow\quad g(w)\in B}
$$
for every word $w$. Such a $g$ is a <many-one reduction>.