Moore Machine - Formal Definition

Formal Definition

A Moore machine can be defined as a 6-tuple ( S, S0, Σ, Λ, T, G ) consisting of the following:

  • a finite set of states ( S )
  • a start state (also called initial state) S0 which is an element of (S)
  • a finite set called the input alphabet ( Σ )
  • a finite set called the output alphabet ( Λ )
  • a transition function (T : S × Σ → S) mapping a state and the input alphabet to the next state
  • an output function (G : S → Λ) mapping each state to the output alphabet

The Moore machine is a finite state transducer.

Read more about this topic:  Moore Machine

Famous quotes containing the words formal and/or definition:

    “The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
    —Simon Hoggart (b. 1946)

    “The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
    —Samuel Taylor Coleridge (1772–1834)