Exercises
2.2 Transtion Systems
a) Formal defintion of labelled state transiton systems
Describe which behaviour is allowed for the given labelled state transition system. Furthermore, express it by using sets.
Fig. 2.2 a) Labelled State Transition System
b) Model labelled state transiton system
Model the labelled state transition system of a fan with two power levels and optional panning. It is mathematically expressed below:
Fig. 2.2 b) Fan
S = {off, on_low_nopan, on_high_nopan, on_low_pan, on_high_pan}
Σ = {power_switch, mode_switch, pan_switch}
δ = {(off, power_switch, on_low_nopan), (on_low_nopan, power_switch, off), (on_low_nopan, mode_switch, on_high_nopan), (on_high_nopan, mode_switch, on_low_nopan), (on_low_nopan, pan_switch, on_low_pan), (on_high_nopan, pan_switch, on_high_pan), (on_high_pan, mode_switch, on_low_pan), (on_high_nopan, power_switch, off), (on_low_pan, mode_switch, on_high_pan), (on_low_pan, pan_switch, on_low_nopan), (on_high_pan, pan_switch, hign_nopan), (on_low_pan, power_switch, off), (on_high_pan, power_switch, off)}