in Theory of Computation
2,048 views
0 votes
0 votes
If total turing machine is a proper subset of turing machine then why recursive language is not a proper subset of Recursive Enumerable ?
in Theory of Computation
2.0k views

4 Comments

(Source: geeks for geeks)

0
0
bro, if some language is in Recursive, then it should also come in recursively enumerable. this comes from their definition. Intuitively, any language for which a TM is present is recursively enumerable. in that way, the set of recursive languages is also RE. Is this what you asked in question? that geeksforgeeks says R is a subset of RE, well it is proper subset also.
0
0
it is proper subset not subset
0
0

2 Answers

0 votes
0 votes
  1. there are some language which are RE but not RECURSIVE so definitely R is proper subset of RE
0 votes
0 votes

recursive  language is proper subset of recursive Enumerable  language . look at the chomsky hierarchy.

Related questions