3.2. Параллельно-последовательная модель

Обозначим некоторое множество совместных событий для данного ансамбляMи программыP. Все события множества происходят параллельно и приводят к ансамблюM_i, далее выполняется некоторый набор совместных событий для ансамбляM_i.

Разбиение на множества совместных событий S^*для данного ансамбляMнеоднозначно. Различные для данного ансамбляM приводят к различным ансамблямM_i . Следовательно, такой временной ряд совместных множеств элементарных событий также неоднозначен.

Пример. Пусть программаPдля кинетической машины Кирдина состоит из одной команды и имеет следующий вид: .

Ансамбль Mотождествляем с функциейF_M:

F_M (AK)=1, F_M (BK)=1, F_M (QA)=1, F_M (QB)=1.

Для таких программ и ансамбля возможны четыре допустимых события, которые определяются изымаемыми ансамблями над следующими словами:

1. Слова AK, QAопределяют элементарное событиеS₁;

2. Слова AK, QBопределяют элементарное событиеS₂;

3. Слова BK, QAопределяют элементарное событиеS₃;

4. Слова BK, QBопределяют элементарное событиеS₄.

Нетрудно заметить, что не все из этих допустимых событий совместны. Выпишем полный список множеств совместных элементарных событий:

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