Modeling a simple expresso machine (or pick some coffee maker that you are familiar with). Intuitively, you, the thirsty customer, are the environment of this machine. The machine is the system. Remember you are modeling the coffee machine and its interactions with the customer. You don't have to model the customer. Your set of actions should include things like putting in coffee, which changes the states of the machine, and turning the water flow knob, which has an effect on the environment (dispense coffee!) and changes the state of the machine.

Write a 4-tuple description of FSM model of it and draw the state transition diagram. A 4-tuple FSM model consists of the following elements: M = , where S is a set of states, I is a set of inputs, s0 is the initial state, and : S x I S (next state function). (Note: Choose a level of abstraction that is reasonably simple.)

According to your state machine description:

1. what happens if there are no water left in the machine?

2. What happens if you forget to get rid of the old coffee before making a new cup?

3. Can you put flavoring in the cup?

4. Is it possible for you to get anything but coffee out of the machine?

5. What if you decide you arent thirsty?

For each of the above questions, what in the state machine description tells you the answer precisely? Notice, your answer to any of these questions could quite reasonably be I don't know; if this is the case, again say what in the state machine description says what thats the answer.