For a Turing machine M, {M} denotes an encoding of M. Consider the following two languages. L1 = {(M) | M takes more than 2021 steps on all inputs} L2 = {(M) | M takes more than 2021 steps on some input} Which one of the following options is correct?
💬 Comments (0)