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 function: O=f(S)O = f(S). This simplifies output logic.
📜

The statement of the theorem

A Moore 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→O\text{Output}: S \to O defines the output. The output oo generated upon reaching state ss is solely dependent on the current state: o=Output(s)o = \text{Output}(s)