Assertion: state machine | /r/HasProperty | two types
Facets:
Source sentences:
text: Finite-state machines are of two types—deterministic finite-state machines and non-deterministic finite-state machines.