in Theory of Computation
256 views
0 votes
0 votes

What does this statement mean?

There exists a Turing Machine that enumerates a set S of (encoding of) decider Turing Machines such that S includes Turing Machines that decide infinitely many different decidable languages.

Thanks!

in Theory of Computation
by
256 views

Please log in or register to answer this question.

Related questions