The Gateway to Computer Science Excellence

+1 vote

Best answer

$L_2 - L_1 = L_2 \cap {L_1}^c$

Now, complement of a recursive language is always recursive - so ${L_1}^c$ is recursive and hence recursively enumerable too.

Intersection of two recursively enumerable languages always gives a recursively enumerable language (Recursively Enumerable set is closed under union and intersection but not under complement).

So, $L_2 - L_1$ is guaranteed to be recursively enumerable.

Now, complement of a recursive language is always recursive - so ${L_1}^c$ is recursive and hence recursively enumerable too.

Intersection of two recursively enumerable languages always gives a recursively enumerable language (Recursively Enumerable set is closed under union and intersection but not under complement).

So, $L_2 - L_1$ is guaranteed to be recursively enumerable.

- All categories
- General Aptitude 1.9k
- Engineering Mathematics 7.5k
- Digital Logic 2.9k
- Programming and DS 4.9k
- Algorithms 4.3k
- Theory of Computation 6.2k
- Compiler Design 2.1k
- Databases 4.1k
- CO and Architecture 3.4k
- Computer Networks 4.1k
- Non GATE 1.5k
- Others 1.5k
- Admissions 595
- Exam Queries 576
- Tier 1 Placement Questions 23
- Job Queries 72
- Projects 17

50,644 questions

56,503 answers

195,553 comments

101,033 users