Machine-translated by Google. Questions are authored in English.
Top

Discussion

The set of all recursively enumerable languages is

  • A.closed under complementation.
  • B.closed under intersection.
  • C.a subset of the set of all recursive languages.
  • D.an uncountable set.

Answer: B

The recursively enumerable languages are closed under intersection.

Given Turing machines that accept L1 and L2, a new machine can run both on the input, alternating steps, and accept once both have accepted. It accepts exactly the strings in both languages, so L1 ∩ L2 is recursively enumerable.

The others are false. RE languages are not closed under complement: the halting language is RE, but its complement is not, since a language whose complement is also RE would be recursive. The recursive languages are a subset of the RE ones, not the other way round. And there are only countably many Turing machines, so the set of RE languages is countable.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.