Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 1 / 12I / i

Table of contents
- Solution i

Solution

The relation

A \leq_{m} B

means that there is a total computable function

g : W \to W

such that

w \in A ⟺ g (w) \in B

for every word

w

. Such a

g

is a many-one reduction.

 Ancestors (10)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version