Finite State Machines

Finite State Machine - A machine with a finite number of states at any moment.

A machine that consists of a fixed number of set states, a set of allowable inputs that change the state and a set of outputs.

State transition diagram

FSM with outputs - Mealy machines

Mealy Machine - an FSM with an inital state, outputs and usally no accetping state.

May proruce a response when it makes a transition, eg an output.

FSA Finite State -AutomationFSM with no outputs

State transition table - shows the effect on the current state of an FSM of particular inputs and any corresponding output

Decision table - a table that shows the outcome for a given  logical condition

FSM