Доменом всех используемых в блок-схемах переменных является множество целых чисел. В блок-схемах разрешается использовать только сложение, вычитание, умножение, целочисленное деление, взятие остатка от деления и все виды арифметических сравнений (равно, не равно, больше, меньше и т.п.).
- Записать в виде блок-схемы алгоритм вычисления количества простых чисел между заданными целыми x1 и x2.
- Для заданной спецификации приведите следующие блок-схемы (если они существуют)
- не являющаяся частично корректной относительно данной спецификации;
- являющаяся частично, но не полностью корректной относительно данной спецификации, при этом блок-схема должна успешно завершаться на максимально возможном числе входных данных;
- являющаяся полностью корректной относительно данной спецификации.
φ(x) ≡ (x > 0)
ψ(x, z1, z2) ≡ (z1 = x * z2) ∧ (z1 < z2)