Assertion: moore machine | /r/HasProperty | equivalent
Facets:
value: with transitions
type: OTHER
value: with the output function
type: OTHER
value: with the same states
type: OTHER
value: to the mealy machine
type: OTHER
Source sentences:
text: Every Moore machine M {\displaystyle M} is equivalent to the Mealy machine with the same states and transitions and the output function G ( s , σ ) → G M ( δ M ( s , σ ) ) {\displaystyle G(s,\sigma )