Численный метод агрегирования автоматных моделей с использованием алгебраических операций над автоматами

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