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


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

  1. Записать в виде блок-схемы алгоритм вычисления количества простых чисел между заданными целыми x1 и x2.
  2. Для заданной спецификации приведите следующие блок-схемы (если они существуют)
    • не являющаяся частично корректной относительно данной спецификации;
    • являющаяся частично, но не полностью корректной относительно данной спецификации, при этом блок-схема должна успешно завершаться на максимально возможном числе входных данных;
    • являющаяся полностью корректной относительно данной спецификации.

    φ(x) ≡ (x > 0)
    ψ(x, z1, z2) ≡ (z1 = x * z2) ∧ (z1 < z2)

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

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

Этот сайт использует Akismet для борьбы со спамом. Узнайте как обрабатываются ваши данные комментариев.