State machines are a great way to control defects by producing states which are only able to mutate in certain specific pre-defined ways
The defacto example is usually a traffic light. Green is permitted to transition to yellow, but never to red; a state machine makes a bug of that form impossible
Obviously, it's nominally used for more complex stuff, but in general, all of your appliances are state machines. Your microwave especially.
The defacto example is usually a traffic light. Green is permitted to transition to yellow, but never to red; a state machine makes a bug of that form impossible
Obviously, it's nominally used for more complex stuff, but in general, all of your appliances are state machines. Your microwave especially.