Assertion: machine's state | /r/HasProperty | s → γ
Facets:
Source sentences:
text: If the output function depends only on the state ( ω : S → Γ {\displaystyle \omega :S\rightarrow \Gamma } ) that definition corresponds to the Moore model, and can be modelled as a Moore machine.