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)

Explanation:

Quiz of this Question

sudo-gate-course

My Personal Notes arrow_drop_up
Recommended Articles
Page :