Download presentation

Presentation is loading. Please wait.

Published byWeston Rich Modified over 2 years ago

1
Rice ’ s Theorem

2
Def: A property of the Turing-recognizable languages is simply a subset of all Turing- recognizable languages.

3
A property is trivial if it is either empty or is all Turing-recognizable languages. Otherwise, it is nontrivial. Note that the empty property is different from the property { }.

4
Thm: Every nontrivial property of the Turing- recognizable languages is undecidable.

5
Pf: Let C be a nontrivial property. Assume , otherwise we can consider. Since C is nontrivial, there exists a non- empty language L C.

6
Letbe a TM accepting (or recognizing) L. Given, construct the following TM : M w Accept Start x

7
Thus, if we could decide or not,then we could decide. Therefore, C is undecidable.

8
Eg. The following are undecidable: 1. 2. 3. 4.

9
Eg. How about the following: 1. 2.

Similar presentations

OK

David Evans cs302: Theory of Computation University of Virginia Computer Science Lecture 17: ProvingUndecidability.

David Evans cs302: Theory of Computation University of Virginia Computer Science Lecture 17: ProvingUndecidability.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on data collection methods in research Ppt on job evaluation Ppt on immunisation schedule Ppt on chapter 12 electricity suppliers Ppt on power line communication technology Isometric view ppt online Ppt online download youtube Ppt on world war 1 and 2 Ppt on job evaluation answers Ppt on emotional intelligence by daniel goleman