engineering recuitment GATE CSE 2023-24 Test Series Theory of Computation Recursively Enumerable Sets, Turing Machines and Undecidability Undecidability
यदि L(M) ट्यूरिंग मशीन M द्वारा स्वीकार की जाने वाली भाषा है, तो निम्नलिखित में से कौन-सी निर्णायक है?
1
L(M1) ∩ L(M2) M द्वारा स्वीकार किया जाता है
2
\(\overline {L\left( M \right)} \) M द्वारा स्वीकार किया जाता है
3
L(M) परिमित ऑटोमेशन द्वारा स्वीकार किया जाता है
4
L(M1) ⊆ L(M2) M द्वारा स्वीकार किया जाता है