Abstract:
This survey is motivated by the fact that, at different times, one and the same theory of separating systems has served as an adequate research technique for such different areas of science and technology as automata synthesis, technical diagnosis, and the construction of hash functions.