Extended Automata
Impossibility owed to the fact that we cannot specify an
autonomous evolution with the classic transition function.
Decomposition of the transition function in two functions :
- d ext : external transition function,
- d int : internal transition function,
- Sp : steady states or passive states
- Sa : transitory states or active states
M = < X, Sp, Sa, Y, d int , d ext , l >