Separating Systems and New Scopes of Its Application
Yu. L. Sagalovich, A. G. Chilingarjan · 2009
The study of separating systems was apparently originated in the problems of critical race-free coding for states of discrete automata. These problems are connected with the so-called races of memory cells of automata, i.e., with the fact that, during the transition from one stable inner state, s1, to another, s2, the binary memory cells of an asynchronous automaton do not change their states simultaneously. This transition will be denoted as s1 → s2. The collection of states of memory cells of the automaton at a given time instant forms its inner state. A consequence of this time nonuniformity in the course of the transition from one state to another is the rise of intermediate states s (a)