Non-deterministic FSMs

• d and l may be relations instead of functions:

  • d Í 2I ´ S ´ S
    
    e.g. d({KEY_OFF, END_TIMER_5}, WAIT) = {{OFF}, {ALARM}}
    
  • l Í 2I ´ S ´ 2O

• Non-determinism can be used to describe:

  • an unspecified behavior
    (incomplete specification)
    
  • an unknown behavior
    (environment modeling)
    

implicit “and”

implicit “or”

Previous slide

Next slide

Back to first slide

View graphic version