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

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.