Skip to content
Related Articles
Get the best out of our app
Open App

Related Articles

GATE | GATE CS 1997 | Question 19

Improve Article
Save Article
Like Article
Improve Article
Save Article
Like Article

Given ∑ = {a, b}, which of the following sets is not countable ?
(A) Set of all strings over ∑
(B) Set of all languages over ∑
(C) Set of all regular languages over ∑
(D) Set of all languages over ∑ accepted by Turing machines

Answer: (B)


  • (A) The set ∑ ={a, b} is countable because each element of this set can be mapped with natural number and also generated in the following order:
    Given ∑ ={a, b}. So, order will be a,b,aa,ab,ba,bb,aaa,aab … Therefore it will mapped with natural number. Hence it is countable.
  • (B) Here, we see that set of languages over z is the power set of strings over ∑ which is an infinite set and As we know that power set of an infinite set is uncountable. Hence the set of languages becomes an uncountable set a, so we can prove this using Cantor’s diagonalisation method.
  • (C) The set of all regular languages is a subset of the set of all recursively enumerable languages. And we know that a subset of a countable set is always countable.
  • (D) Set of all language over ∑ accepted by Turing machine is countable.

Option (B) is correct.

Quiz of this Question

My Personal Notes arrow_drop_up
Last Updated : 13 May, 2020
Like Article
Save Article
Similar Reads