Assertion: state machine | /r/HasProperty | a class of automata
Facets:
Source sentences:
text: Finite-state machines are a class of automata studied in automata theory and the theory of computation.