ABSTRACT
A state machine is a model of behavior; in general it models a control system that is to supervise an application. This definition means that a state machine is a decision machine that generates signals representing actions: do this or do that. A state machine is stimulated by inputs that represent the accessible knowledge about the controlled application.
