Алгебраический подход к анализу автоматных систем взаимосвязанных графов с простейшими связками

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