# Definition **EFSM: Extended Finite State Machine Schemat**

**Explanation:** Extended Finite State Machine Model (EFSM) is an enhanced model based on the traditional finite state machine (FSM), which is a model of behavior composed of states, transitions and actions. In a conventional FSM, the transition is associated with a set of input Boolean conditions & a set of output Boolean functions. In an EFSM model, the transition can be expressed by an if statement. If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified data operations. The models are used widely in modeling reactive systems, linguistics, computer science, philosophy, biology, mathematics, and logic.

Other definitions in programming such as **EFSM: Extended Finite State Machine Schemat** in Dictionary E.