Extended finite-state machine

An Extended Finite State Machine (EFSM) is a computational model that extends the capabilities of a traditional finite state machine (FSM). While a traditional FSM consists of a finite number of states and transitions between those states based on input symbols, an EFSM incorporates additional features that provide greater expressive power.