ИСТИНА

Эффективная разрешимость проблемы логико-термальной эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, логико-термальной эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобразователей, работающих над упорядоченными левосократимыми полугруппами. В данном докладе мы сообщаем о том, что этим методом можно воспользоваться для минимизации стандартных схем программ относительно логико-термальной эквивалентности в случае, когда эти схемы определены над ортогональными консервативными подстановками.