Assertion: machine's state | /r/HasProperty | distinguishable
Facets:
value: from one another
type: OTHER
Source sentences:
text: {\displaystyle (n;m;p)} machine, every two states of which are distinguishable from one another, such that the length of the shortest experiments establishing the state of the machine at the end of the experiment is equal to ( n − 1 )