“…In particular, the additional complexity brought by the different possible ways of updating automata states has been dealt with in the past by imposing restrictions on the updating mode (e.g. restrictions to the nondeterministic asynchronous one [22,23,27,29], the parallel one, or some deterministic [1,2,8,14] or probabilistic ones [9,15,25]). …”