Assertion: machine's state | /r/HasProperty | possible
Facets:
value: within a particular context
type: OTHER
Source sentences:
text: A state machine is an alternative way of modeling program state: Instead of defining independent variables, a machine is crafted specifically to handle what states are possible, and when a machine is a given state, what next state is allowed.
text: Substates are used to simplify complex flat state machines by showing that some states are only possible within a particular context (the enclosing state).
text: The turnstile state machine can be represented by a state-transition table, showing for each possible state, the transitions between them (based upon the inputs given to the machine) and the outputs resulting from each input: