Третья домашняя работа блока методов Флойда

  1. Доказать, что заданная блок-схема успешно завершается при заданном предусловии при помощи метода фундированных множеств Флойда. Доменом всех переменных является множество целых чисел.

    hw-floyd-3
  2. Пусть есть блок-схема, успешная выполнимость которой доказана по методу фундированных множеств с выбранным фундированным множеством (W, ⊰), выбранным множеством точек сечения S и выбранными оценочными функциями ui для i ∊ S. Возможно ли доказать успешную выполнимость тем же методом с использованием тех же точек сечения и тождественных функций в качестве оценочных? Если да, то решить первое задание таким образом.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *