In which of the cases stated below is the following statement true?
"For every non-deterministic machine M1 there exists and equivalent deterministic machine M2 recognizing the same language".
A
M1 is a non-deterministic Turning machine
Right on! Give the BNAT exam to get a 100% scholarship for BYJUS courses
B
M1 is a non-deterministic PDA
No worries! We‘ve got your back. Try BYJU‘S free classes today!
C
For no machine M1use the above statement true
No worries! We‘ve got your back. Try BYJU‘S free classes today!
D
M1 is non-deteministic finite automation
Right on! Give the BNAT exam to get a 100% scholarship for BYJUS courses
Open in App
Solution
The correct option is DM1 is non-deteministic finite automation (a) There exist an algorithm to convert every NFA to DFA. So recognition power of NFA and DFA, is same.
(b) Since there exist no algorithm to convert NPDA to DPDA and recognition power of both are not same.
(c) The recognition power of NTM(non-deterministic Turing machine) and DTM (deterministic Turning machine) is same.
(d) Since for turing machines and finite automation the above statement is true so (d) is not true