You could have the calling function do the state transitions all in one place. The individual state functions would still do most of the work and generate the i

You could have the calling function do the state transitions all in one place. The individual state functions would still do most of the work and generate the information required to determine the next state. But they would be "unaware" that they're part of a state machine.