Система взаимосвязанных графов как модель сложных конечных автоматов

При составлении описания алгоритма управления дискретным объектом (или программы при программной реализации этого алгоритма) предлагается представлять это описание в виде композиции более простых частей, основываясь единственно на технологически ясном содержании этих частей. Показывается, что в случае последовательной реализации операторов алгоритма и унитарного кодирования этих операторов сложность схемной (или программной) реализации не зависит от способа декомпозиции.