Turing equivalence (theory of computation)

Summary