Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-1/12i/i/solution

The relation means that there is a total computable function such that
for every word . Such a is a many-one reduction.

New to topics? Read the docs here!