Assertion: abstract machine | /r/CapableOf | take on one of those states
Facets:
value: at a time
type: TEMPORAL
Source sentences:
text: Within an FSM, all states in consideration exist in a finite list and the abstract machine can only take on one of those states at a time.