|
Extended Finite State Machine
In a conventional finite-state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite-state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of trigger conditions. 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. Definition An EFSM is defined as a 7-tuple M=(I,O,S,D,F,U,T) where * S is a set of symbolic states, * I is a set of input symbols, * O is a set of output symbols, * D is an n-dimensional linear space D_1 \times \ldots \times D_n, * F is a set of ''enabling functions'' f_i : D \rightarrow \{0,1\}, * U is a set of ''update functions'' u_i : D \rightarrow D, * T is a transition relation, T : S \times F \times I \rightarrow S \times U \times O Structure EFSM Architecture: An EFSM model consists of the following thre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite-state Machine
A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of ''State (computer science), states'' at any given time. The FSM can change from one state to another in response to some Input (computer science), inputs; the change from one state to another is called a ''transition''. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types—Deterministic finite automaton, deterministic finite-state machines and Nondeterministic finite automaton, non-deterministic finite-state machines. For any non-deterministic finite-state machine, an equivalent deterministic one can be constructed. The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
