Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Третья домашняя работа блока методов Флойда
Доказать, что заданная блок-схема успешно завершается при заданном предусловии при помощи метода фундированных множеств Флойда. Доменом всех переменных является множество целых чисел.
Пусть есть блок-схема, успешная выполнимость которой доказана по методу фундированных множеств с выбранным фундированным множеством (W, ⊰), выбранным множеством точек сечения S и выбранными оценочными функциями ui для i ∊ S. Возможно ли доказать успешную выполнимость тем же методом с использованием тех же точек сечения и тождественных функций в качестве оценочных? Если да, то решить первое задание таким образом.