Алгоритм декомпозиции формальной модели функционального блока дискретного устройства