Skip to content
Related Articles

Related Articles

GATE | GATE-CS-2004 | Question 89
  • Difficulty Level : Medium
  • Last Updated : 26 Sep, 2014
GeeksforGeeks - Summer Carnival Banner

L1 is a recursively enumerable language over Σ. An algorithm A effectively enumerates its words as w1, w2, w3, … Define another language L2 over Σ Union {#} as {wi # wj : wi, wj ∈ L1, i < j}. Here # is a new symbol. Consider the following assertions.

S1 :  L1 is recursive implies L2 is recursive
S2 : L2 is recursive implies L1 is recursive 

Which of the following statements is true ?
(A) Both S1 and S2 are true
(B) S1 is true but S2 is not necessarily true
(C) S2 is true but S1 is not necessarily true
(D) Neither is necessarily true

Answer: (A)


Quiz of this Question


My Personal Notes arrow_drop_up
Recommended Articles
Page :