Анотація: Для исследования дискретных систем предложен алгебраический метод. Его новизна заключается в том, что элементы системы и элементы некоторого поля идентифицируются, а предикаты, описывающие функционирование системы, представляются теоретико-функциональными полиномами над этим полем.