English subtitles

← 21-09 Decidable Properties

Get Embed Code
1 Language

Showing Revision 1 created 10/03/2012 by Amara Bot.

  1. So now to computer with Rice's Theorem before we go back into practice,
  2. I'll give you a quiz very similar to the one we just had.
  3. All I want you to do is to figure out
  4. which of the following properties are decidable for a given program?
  5. A program always returns 1,
  6. a program solves Vertex Cover,
  7. a program adds 2 numbers, doesn't do anything,
  8. converts and MP3 file,
  9. reads a file, terminates after 3 timesteps,
  10. is a virus, writes to a file,
  11. modifies itself, returns an integer,
  12. downloads data.
  13. So please make a check mark next to those properties
  14. that are decidable, and leave the others blank.