Объединение вероятностных автоматов в систему.

Так в общих чертах могут быть представлены принципы вероятностно- автоматного моделирования процессов функционирования отдельно взятого объекта. Но в подавляющем же большинстве практических приложений изучаются большие системы, состоящие из некоторой совокупности взаимосвязанных объектов. С помощью рассмотренных выше методов могут быть построены вероятностно-автоматные модели каждого из объектов системы. Объединение автоматов в систему будет заключаться в отождествлении выходных сигналов одних автоматов с входными сигналами других. Само собою разумеется. отождествление должно осуществляться в строгом соответствии с взаимосвязями реальных объектов моделируемой системы, а также выходные и входные алфавиты сопрягаемых автоматов должны быть согласованными в том смысле, что входной алфавит принимающего автомата должен содержать все символы выходного алфавита передающего автомата. Описание связей между автоматами может быть осуществлено с помощью графа межавтоматных связей: структура системы изображается в виде направленного графа, между вершинами которого и автоматами, моделирующими элементы системы, установлено взаимно однозначное соответствие. Если состояние какого-то одного автомата участвует в формировании состояния другого, то на графе межавтоматных связей это изображается направленной дугой от первого к второму. Описание структуры системы автоматов указанным способом является достаточно наглядным. Однако если количество автоматов, образующих систему, велико, то графическое описание межавтоматных связей становится громоздким и неудобным для использования. В таких случаях предпочтительней будет матричное описание структуры системы: строится квадратная матрица, порядок которой совпадает с числом автоматов системы, а элементы принимают значения 1 или 0 в зависимости от того, есть связь от автомата, номер которого совпадает с номером строки матрицы, к автомату, номер которого совпадает с номером столбца матрицы, или такой связи нет.
Матрицу связей автоматов можно сделать более информативной, если в качестве ее элементов принять не просто 0. и 1, информирующих лишь о наличии или отсутствии связи, а символы, содержащие информацию также о характере связей, например: Д — двоичная связь (в выходном алфавите соответствующего автомата содержатся лишь два символа), Т — троичный, Н — натуральный (множество всех натуральных целы» чисел) и т.п.
Для организации моделирования дополнительно необходимо задать начальные состояния всех автоматов и перечень тех автоматов, выходные сигналы которых должны фиксироваться в качестве результатов моделирования.