Assertion: machine's state | /r/HasProperty | current
Facets:
Source sentences:
text: In the theory of computation, a Moore machine is a finite-state machine whose output values are determined only by its current state.
text: This is in contrast to a Mealy machine, whose (Mealy) output values are determined both by its current state and by the values of its inputs.