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 on both the current state and the current input. Output function: O=f(S,I)O = f(S, I).
📜

The statement of the theorem

A Mealy Machine is defined by the tuple M=⟨S,I,O,s0,Transition,Output⟩M = \langle S, I, O, s_0, \text{Transition}, \text{Output} \rangle, where SS is the set of states, II is the input alphabet, OO is the output alphabet, s0∈Ss_0 \in S is the initial state, Transition:S×I→S\text{Transition}: S \times I \to S defines the next state, and Output:S×I→O\text{Output}: S \times I \to O defines the output. The output oo generated upon transitioning from state ss with input ii is given by the function: o=Output(s,i)o = \text{Output}(s, i)