This preview shows page 1. Sign up to view the full content.
Unformatted text preview: add a bean of the third color (eg., blue) to the can. I. Program Write the simplest program you can that represents this computation. (3 variables should suce). II. Fixed Point Calculate the xed-point o your program. III. Progress Give a careully reasoned argument that your program terminates. IV. Safety Is the nal state determined deterministically by the initial conguration? (Give a yes/no answer) I no, give an example o a single initial conguration and two diferent runs rom that initial state that lead to diferent nal states. I yes, give the simplest rule you can or predicting the nal state given an initial conguration. Prove that your rule is correct. 1...
View Full Document
This document was uploaded on 05/02/2010.
- Spring '09