Answers are to be emailed to Frank.Ritter@nottingham.ac.uk by 2pm Monday 1 March 1999. Include a nickname so that grades may be posted annonymously.
HW1 - 15 points out of 200.
a. Modify the model so that drink is preferred if the ^beverage is real-ale. 4 points.
b. Implement a drink guiness operator. Include a trace. Explain the semantics of what you implement. Show where it appears in the model with a trace, and make it get selected by changing the state and/or the rest of the HT model. 11 points.