Assertion: machine's state | /r/HasProperty | given
Facets:
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.