Global Web Forum

husnain

Administrator

From: Chichawatni,Pakistan

Registered: 2014-10-03

Posts: 8,129

Website

Recursively Enumerable:

Mathematics Quizzes Computation Theory

Question:
From the options given below the statement, which is not necessarily true if X1 is the recursive language and X2 and X3 are the languages that is recursively enumerable but not recursive is:

Option A):
X1 - X3 is recursively enumerable
Option B):
X1 + X3 is recursively enumerable
Option C):
X2 - X1 is recursively enumerable
Option D):
X2 - X3 is recursively enumerable

Correct Answer is Option A):
X1 - X3 is recursively enumerable

---

You cannot discover the new oceans unless you have the courage to lose the sight of the shore.