Computer Science · Theory of Computation
According to Rice-Shapiro theorem, a language family LF is recursively enumerable if and only if F satisfies which of the following conditions? (1) If L is in F and L ⊆ L' for some recursively enumerable language L', then L' is in F. (2) If L is an infinite language in F, then there is a finite subset of L which is in F. (3) The set of finite languages in F is recursively enumerable.
- 1(1), (2) and (3)✓
- 2(1) and (2) only
- 3(2) only
- 4(1) and (3) only
Correct answer
(1), (2) and (3)
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Preparing for Computer Science?
Practice full-length Computer Science mock tests with real exam timers, instant score analysis, and all-India ranking.
Want more practice questions on Theory of Computation?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Theory of Computation