Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Moore Machine Model

A type of finite state machine where the output depends solely on the current state. Output Y=f(Q)Y = f(Q). This provides a more synchronous and predictable output behavior.
📜

The statement of the theorem

A Moore machine is defined by a tuple (Q,Σ,Q′,δ,λ)(Q, \Sigma, Q', \delta, \lambda), where QQ is the state set, Σ\Sigma is the input alphabet, Q′Q' is the output alphabet, δ:Q×Σ→Q\delta: Q \times \Sigma \to Q is the state transition function, and λ:Q→Q′\lambda: Q \to Q' is the output function. The output YY depends solely on the current state QQ: Y(t)=λ(Q(t))Y(t) = \lambda(Q(t))