Объединение граф-схем алгоритмов, страница 6

Далее над ОМСА (табл. 26.5) выполняем минимизацию, заключающуюся в учете распределения сдвигов. Распределение сдвигов является дополнительной информацией. Если каждому оператору перехода  (отмечающему столбцы ОМСА) поставлено в соответствие полное множество логических условий, которые могут изменять свое значение при  выполнении оператора , то такое распределение сдвигов является универсальным (полным). Если ни одно логическое условие не изменяется во время выполнения , то такое распределение сдвигов называется пустым.

Чтобы охарактеризовать распределение сдвигов условий  необходимо знать содержательный смысл  и . В случае данного примера оно неизвестно. Дополнительные  переменные  во время выполнения операции ГСА₁, ГСА₂ и ГСА₃ не изменяются. Поэтому выполним учет распределения сдвигов относительно этих переменных. Учет состоит в том, что по очереди просматриваем каждый столбец  (), и если какая-либо переменная  не изменяет своего значения, то значение этой переменной можно подставить в соответствующую строку  ОМСА.

Так в столбце   и , в столбцах  и   ( изменяет свое значение), в столбце  ; . Тогда в строку  ОМСА подставим значения  и ; в строки  и  подставим ; в строки  и  подставим ; и в строку  подставим  и .