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

Mealy Machine Model

A type of finite state machine where the output depends directly on both the current state and the current input. Output Y=f(Q,X)Y = f(Q, X). This is used for immediate output response.
📜

The statement of the theorem

A Mealy 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 \times \Sigma \to Q' is the output function. The output YY depends on both the current state QQ and the current input XX: Y(t)=λ(Q(t),X(t))Y(t) = \lambda(Q(t), X(t))