Assertion: state machine | /r/HasProperty | finite automaton
Facets:
Source sentences:
text: A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.