FSM Definition
- FSM = (I, O, S, r, d, l)
- I = { KEY_ON, KEY_OFF, BELT_ON, END_TIMER_5, END_TIMER_10 }
- O = { START_TIMER, ALARM_ON, ALARM_OFF }
- S = { OFF, WAIT, ALARM }
- r = OFF
- d : 2I ´ S ® S
e.g. d({KEY_OFF}, WAIT) = OFF
- l : 2I ´ S ® 2O
e.g. l ({KEY_ON}, OFF) = {START_TIMER}
Set of all subsets of I (implicit “and”)
All other inputs are implicitly absent