Далее над ОМСА
(табл. 26.5) выполняем минимизацию, заключающуюся в учете распределения
сдвигов. Распределение сдвигов является дополнительной информацией. Если
каждому оператору перехода (отмечающему
столбцы ОМСА) поставлено в соответствие полное множество логических условий,
которые могут изменять свое значение при выполнении оператора
, то такое распределение сдвигов
является универсальным (полным). Если ни одно логическое условие не изменяется
во время выполнения
, то такое распределение
сдвигов называется пустым.
Чтобы
охарактеризовать распределение сдвигов условий необходимо
знать содержательный смысл
и
. В случае данного примера оно
неизвестно. Дополнительные переменные
во
время выполнения операции ГСА1, ГСА2 и ГСА3 не
изменяются. Поэтому выполним учет распределения сдвигов относительно этих
переменных. Учет состоит в том, что по очереди просматриваем каждый столбец
(
),
и если какая-либо переменная
не изменяет
своего значения, то значение этой переменной можно подставить в соответствующую
строку
ОМСА.
Так в столбце
и
, в столбцах
и
(
изменяет свое значение), в столбце
;
. Тогда в строку
ОМСА подставим значения
и
;
в строки
и
подставим
; в строки
и
подставим
;
и в строку
подставим
и
.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.