Dunno. Maybe a table with functions and conditions?
The point isn't the specific form that support would take. The point is that it has some form that implies the intent of the programmer.
It has N states and they are enumerated. It has code that runs on transition and state. It has these variables which make up conditions. The state doesn't become a dead end and all states are reachable. etc.
The point is to enable the compiler to know "Hey, this is a state machine. You can check <invariant> because it is a state machine.
The point isn't the specific form that support would take. The point is that it has some form that implies the intent of the programmer.
It has N states and they are enumerated. It has code that runs on transition and state. It has these variables which make up conditions. The state doesn't become a dead end and all states are reachable. etc.
The point is to enable the compiler to know "Hey, this is a state machine. You can check <invariant> because it is a state machine.