Home » Theory of Computation » Theory of computation miscellaneous » Question

Theory of computation miscellaneous

Theory of Computation

  1. Let < M > be the encoding of a Turing machine as a string over ∑ = {0, 1}. Let L = {| M is a Turing machine that accepts a string of length 2014}. Then, L is
    1. decidable and recursively enumerable
    2. undecidable but recursively enumerable
    3. undecidable and not recursively enumerable
    4. decidable but not recursively enumerable
Correct Option: B

The language is recursive enumerable and it is undecidable



Your comments will be displayed only after manual approval.