Assertion: state machine | /r/HasProperty | subdivided into transducer
Facets:
Source sentences:
text: Finite-state machines can be subdivided into acceptors, classifiers, transducers and sequencers.