Assertion: state machine | /r/HasProperty | constructed equivalent
Facets:
value: to any non-deterministic one
type: OTHER
Source sentences:
text: A deterministic finite-state machine can be constructed equivalent to any non-deterministic one.