Об алгоритме построения для логических сетей с памятью входных различающих последовательностей относительно заданного множества неисправностей

Показывается, как, используя различающую последовательность для пары технических состояний сети и метод разложения исходного множества состояний сети на различимые- подмножества неразличимых на заданной входной последовательности состояний, можно построить различающую последовательность для исходного множества состояний.