Assertion: machine | /r/HasProperty | crafted
Facets:
value: of defining independent variables
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.