Recursive & Recursively Enumerable Languages Video Lecture | Question Bank for GATE Computer Science Engineering - Computer Science Engineering (CSE)

63 videos|8 docs|165 tests

Top Courses for Computer Science Engineering (CSE)

FAQs on Recursive & Recursively Enumerable Languages Video Lecture - Question Bank for GATE Computer Science Engineering - Computer Science Engineering (CSE)

1. What is the difference between a recursive language and a recursively enumerable language?
Ans. A recursive language is a language for which there exists an algorithm that can decide whether a given input belongs to the language or not. In other words, a recursive language is decidable. On the other hand, a recursively enumerable language is a language for which there exists an algorithm that can enumerate all the strings in the language, but it may not be able to decide whether a given string belongs to the language or not.
2. Can a recursively enumerable language be recursive as well?
Ans. Yes, a recursively enumerable language can also be recursive. If a language is recursively enumerable and there exists an algorithm that can decide whether a given input belongs to the language or not, then the language is both recursively enumerable and recursive. In other words, every recursive language is also recursively enumerable.
3. Are all recursive languages recursively enumerable?
Ans. Yes, all recursive languages are recursively enumerable. This is because if a language is recursive, then there exists an algorithm that can decide whether a given input belongs to the language or not. By modifying this algorithm slightly, we can also enumerate all the strings in the language. Therefore, every recursive language is also recursively enumerable.
4. Is it possible for a language to be neither recursive nor recursively enumerable?
Ans. Yes, it is possible for a language to be neither recursive nor recursively enumerable. Such languages are called non-recursive and non-recursively enumerable languages. These languages cannot be decided or enumerated by any algorithm. Examples of such languages include the language of all Turing machine descriptions that do not halt on empty input, and the language that contains all strings that encode a valid proof in a formal system.
5. Can a recursively enumerable language have an algorithm that decides it?
Ans. No, a recursively enumerable language cannot have an algorithm that decides it. A language can only be decided if it is recursive, but a recursively enumerable language may have an algorithm that can only enumerate its strings.
Explore Courses for Computer Science Engineering (CSE) exam
Signup for Free!
Signup to see your scores go up within 7 days! Learn & Practice with 1000+ FREE Notes, Videos & Tests.
10M+ students study on EduRev
Related Searches

study material

,

Recursive & Recursively Enumerable Languages Video Lecture | Question Bank for GATE Computer Science Engineering - Computer Science Engineering (CSE)

,

Summary

,

Important questions

,

Recursive & Recursively Enumerable Languages Video Lecture | Question Bank for GATE Computer Science Engineering - Computer Science Engineering (CSE)

,

Previous Year Questions with Solutions

,

Extra Questions

,

Objective type Questions

,

Recursive & Recursively Enumerable Languages Video Lecture | Question Bank for GATE Computer Science Engineering - Computer Science Engineering (CSE)

,

Free

,

Sample Paper

,

past year papers

,

mock tests for examination

,

MCQs

,

practice quizzes

,

Exam

,

pdf

,

Viva Questions

,

ppt

,

shortcuts and tricks

,

Semester Notes

,

video lectures

;