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

В. Ф. Дьяченко, В. Г. Лазарев


Аннотация: Рассматривается способ упрощения логических схем алгоритмов (ЛСА), основанный на учете наборов значений переменных (логических условий), которые не встречаются при выполнении алгоритма. Способ упрощения ЛСА состоит в преобразовании не доопределенных формул перехода и получении общего решения, из которого выбирается частное решение в виде формулы перехода. Затем формулы перехода переводятся в ЛСА. Учет неиспользуемых наборов позволяет сократить общее число логических условий и изменить порядок их проверки, что может в некоторых случаях привести к дополнительному объединению одинаковых выражений в ЛСА. Приведен пример упрощения ЛСА.

УДК: 62-50

Поступила в редакцию: 21.06.1965

 Англоязычная версия: Problems of Information Transmission, 1966, 2:3, 75–79