GATEverse Practice, past papers & mock tests
GATE 2021 · Set-1
Theory of ComputationTuring Machine: RE, REC and UndecidabilityhardMCQ2 marks
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?
Save your progress

Related Theory of Computation PYQs