УДК 004.732
В статье рассматривается математическая модель процессов информационного обмена в модульных структурах систем сбора и обработки данных, базирующаяся на теории конечных автоматов с предикатами в виде булевых переменных и отличающаяся правилами формализации их состояний.
In this paper we consider a mathematical model of the processes of information exchange in the modular structure of data collection and data processing, which is based on the theory of finite state machines with predicates in the form of Boolean variables, and differing rules formalizing their states.