Question 40
For a Turing machine \(M\), \(\langle M \rangle\) denotes an encoding of \(M\). Consider the following two languages.
\(L_1 = \{\langle M \rangle \mid M\) takes more than 2021 steps on all inputs\(\}\)
\(L_2 = \{\langle M \rangle \mid M\) takes more than 2021 steps on some input\(\}\)
Which one of the following options is correct?
Sign in to see the answer
Answers and explanations are free — they just need an account.