GATE | GATE CS 2013 | Question 41
Which of the following is/are undecidable?
(A) 3 only
(B) 3 and 4 only
(C) 1, 2 and 3 only
(D) 2 and 3 only
Answer: (D)
Explanation:
- First is Emptiness for CFG; whether a CFG is empty or not, this problem is decidable.
- Second is everything for CFG; whether a CFG will generate all possible strings (completeness of CFG), this problem is undecidable.
- Third is Regularity for REC; whether language generated by TM is regular is undecidable.
- Fourth is equivalence for regular; whether language generated by DFA and NFA are same is decidable.
Second and third will be undecidable. Hence, option (D) is Correct.
Quiz of this Question
Recommended Posts:
- GATE | GATE CS 2013 | Question 32
- GATE | GATE CS 2013 | Question 11
- GATE | GATE CS 2013 | Question 12
- GATE | GATE CS 2013 | Question 13
- GATE | GATE CS 2013 | Question 31
- GATE | GATE CS 2013 | Question 14
- GATE | GATE CS 2013 | Question 19
- GATE | GATE CS 2013 | Question 3
- GATE | GATE CS 2013 | Question 4
- GATE | GATE CS 2013 | Question 43
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 6
- GATE | GATE CS 2013 | Question 7
- GATE | GATE CS 2013 | Question 8
- GATE | GATE CS 2013 | Question 65