Question on the need for the source state on transition function

[schaefer01]

Hi,

I am concerned due to the rare possibility of software bugs leading to code runaway that the state might not be recognized as a string

(bad stack, bad memory, cosmic ray flips a bit) that a given bad/unrecognized state can't transition to an error state.

I.e. state doesn't match recognized state, there is no state for the X_state.to(Y_state) transition function call.

Please advise,

bob s