>> |
09/03/11(Sat)08:21 No.4923458 File1315052516.jpg-(19 KB, 576x483, Terminator_robot.jpg)
An EFSM is defined[2] 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 |