Способы представления алгоритмов функционирования управляющих автоматов, страница 3

Следует заметить, что выполнение оператора Y3 после выполнения оператора Y1 возможно, если  логические условия Х1=0; Х2=1 (конъюнкция равна единице). Оператор Yбудет выполняться, если Х1=0; Х2=0; Х3=0  (конъюнкция   справедлива).

Итак, каждому пути в ГСА соответствует конъюнкция осведомительных сигналов.

     23.2 Матричная схема-алгоритм.

Пусть ГСА имеет начальную вершину У0, конечную вершину Ук и Т операторных вершин У={ У12,…,Ут}.

Матричной схемой алгоритма (МСА) называется квадратная матрица, строки которой соответствуют исходным операторам  У012,…,Ут , а столбцы операторам перехода Y1, Y2,…,Ут, Yк .В МСА пересечение строки Уi и столбца Уj записывается логическое условие(конъюнкция переменных Хi), соответствующих условию перехода от оператора Y1 к оператору  Уj . Пример МСА приведен в таблице 23.1.

  Таблица 23.1

MSA

Y1

Y2

Y3

Y4

YT

Y0

1

Y1

Y2

Y3

1

Y4

1