Аналитический метод построения различающих последовательностей для дискретных устройств с памятью

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