2

Every nontrivial property of the recursively enumerable languages is undecidable.

What exactly is nontrivial property?

Ran G.
  • 20,684
  • 3
  • 60
  • 115
Alvar
  • 49
  • 1
  • 3
  • 3
    A property that holds for every machine or holds for none is trivial. Rice's theorem does not apply to such a property. – Untitled Jan 06 '14 at 14:48
  • 1
    @Untitled: please make this an answer. – Patrick87 Jan 06 '14 at 17:06
  • 2
    For example, the Wikipedia page on Rice's theorem explains this at least twice. You are expected to research the problem on your own before posting here. If you did research it on your own, let us know what you looked at and what you didn't understand, so we can give more specific help. – David Richerby Jan 06 '14 at 17:06
  • This a place for questions that can not (easily) be answered by searching Wikipedia or opening a textbook. Also, we have the answer on here already. (Also, your problem illustrates why explanations in "simple English" should never be given/read alone when it comes to TCS.) – Raphael Jan 07 '14 at 07:59

1 Answers1

6

A property that holds for every machine or holds for none is trivial. Rice's theorem does not apply to such a property.

To see why, note that such a property can be decided by a very simple Turing machine, which accepts/rejects every Turing machine representation.

Untitled
  • 991
  • 8
  • 16