Ignoring performance, if you're just doing business-specific behavior logic for whatever process needs to be assisted or automated by an IT system, so often you

Ignoring performance, if you're just doing business-specific behavior logic for whatever process needs to be assisted or automated by an IT system, so often you get complicated parts of that system logic that may get implemented as a tangled nest of if-statements but where the proper mental model actually is a finite state machine/automata - and if you see it that way, you can cover all the possible transitions and improve correctness.