Undecidability


Q11.

Let L(R) be the language represented by regular expression R. Let L(G) be the language generated by a context free grammar G. Let L (M) be the language accepted by a Turning machine M. Which of the following decision problems are undecidable ? I. Given a regular expression R and a string w, is w\in L(R)? II. Given a context-free grammar G, L(G)=\phi? III. Given a context-free grammar G, is L(G)=\Sigma* for some alphabet \Sigma? IV. Given a Turning machine M and a string w, is w\inL(M)?
GateOverflow

Q12.

Answer the following questions: Which of the following problems are undecidable?
GateOverflow

Q13.

Which of the following is/are undecidable? 1. G is a CFG. Is L(G) = \Phi? 2. G is a CFG. Is L(G) = \Sigma ^{*} ? 3. M is a Turing machine. Is L(M) regular? 4. A is a DFA and N is an NFA. Is L(A) = L(N)?
GateOverflow

Q14.

Consider three decision problems P1, P2 and P3. It is known that P1 is decidable and P2 is undecidable. Which one of the following is true?
GateOverflow

Q15.

Consider the following sets: S1: Set of all recursively enumerable languages over the alphabet {0, 1}. S2: Set of all syntactically valid C programs. S3: Set of all languages over the alphabet {0, 1}. S4: Set of all non-regular languages over the alphabet {0, 1}. Which of the above sets are uncountable?
GateOverflow

Q16.

Which of the following problems is undecidable?
GateOverflow

Q17.

Which of the following decision problems are undecidable? I. Given NFAs N1 and N2, is L(N1)\capL(N2) = \phi? II. Given a CFG G = (N,\Sigma ,P,S) and a string x \in\Sigma ^*, does x \in L(G)? III. Given CFGs G1 and G2, is L(G1) = L(G2)? IV. Given a TM M, is L(M) = \phi?
GateOverflow