With this exercise, we shall develop a solution to the following riddle. Two adults, their three children, and their dog are on a walk when they come upon a river. They have a boat, but it can only hold a maximum of one adult with either one child or the dog; or three chidren; or two children and the dog. Anyone (other than the dog) can row the boat; but it would be too much work for one child to row across by themself. How can they all get across the river? You are required to solve this riddle by modelling it using a labelled transition system (LTS). 1. What are the states of your LTS consist of? Make sure you consider all the aspects of the riddle. Justify your notion of state. 2. What are the actions of your LTS? List all the actions. Justify your choice of actions. 3. Drawing out the entire LTS may be a time consuming task as there could be very many states and transitions. However, drawing out only part of the LTS is doable. Draw part of the LTS, anywhere between 7 and 12 states, including the starting state. Label the states so that it is clear what the states represent, and explain your labelling. 4. Solve the riddle. Provide a sequence of transitions (listed or drawn) that solves the riddle.
With this exercise, we shall develop a solution to the following riddle.
Two adults, their three children, and their dog are on a walk when they come upon a river. They have a boat, but it can only hold a maximum of one adult with either one child or the dog; or three chidren; or two children and the dog. Anyone (other than the dog) can row the boat; but it would be too much work for one child to row across by themself. How can they all get across the river? You are required to solve this riddle by modelling it using a labelled transition system (LTS).
1. What are the states of your LTS consist of? Make sure you consider all the aspects of the riddle. Justify your notion of state.
2. What are the actions of your LTS? List all the actions. Justify your choice of actions.
3. Drawing out the entire LTS may be a time consuming task as there could be very many states and transitions. However, drawing out only part of the LTS is doable. Draw part of the LTS, anywhere between 7 and 12 states, including the starting state. Label the states so that it is clear what the states represent, and explain your labelling.
4. Solve the riddle. Provide a sequence of transitions (listed or drawn) that solves the riddle.
Trending now
This is a popular solution!
Step by step
Solved in 3 steps with 1 images
