Заключительный оператор - слово вида stop (S), где S = 2 - терм; вхождения переменных в терм S называются аргументами этого оператора;

2. заключительный оператор - слово вида stop (S), где S = 2 - терм; вхождения переменных в терм S называются аргументами этого оператора;

3. оператор присваивания – F₀:=1; F₁:=1; F₂:=2; S:=4; F₀:=F₁, где F₁=1; F₁:=F₂, где F₂=2; F₂:=F₀+F₁, где F₀=1, F₁=1; S:=S+F₂, где S=4, F₂=3; S:=S–F₂, где S=4, F₂=2;

4. условный оператор (тест) – логическое выражение; F₂<=M, где F₂=2,

M>1;

5. оператор петли - односимвольное слово While. Слабейшее предусловие такое же, как в условном операторе.

 

Задание 4

 

Разработать алгоритм программы, решающей поставленную задачу;

Составить стандартную схему программы и записать полученную программу в линейной форме (рис. 6);

Используя метод индуктивных утверждений и правила верификации Хоара произвести верификацию программы.

6	Расчет произведения чисел Фибоначчи

Рис. 6

 

Turbo Pascal

Program ProizFib;

Uses Crt;

Var M, {zadannoe chislo }

F0, F1, F2, {tri posledovatelnyh chisla Fibonachchi}

S : Integer; {summa chisel Fibonachchi}

R : Real; {proizvedenie chisel Fibonachchi}

BEGIN

ClrScr;

Write('Vvedite naturalnoe chislo M: ');

ReadLn(M);

F0:=1; F1:=1; F2:=2;

S:=4; {4 - summa pervyh 3-x chisel Fibonachchi}

R:=2; {2 - proizvedenie pervyh 3-x chisel Fibonachchi}

Write('Chisla Fibonachchi, ne prevoshodyaschie ', M, ' :', F0:4, F1:4);

While F2<=M do

begin

F0:=F1; F1:=F2; Write(F1 : 4);

F2:=F0+F1; S:=S+F2; R:=R*F2

end;

S:=S-F2; {vychitanie iz summy poslednego chisla, kotoroe prevoshodit M}

R:=R/F2; {Delenie iz proizvedeniya chisla, kotoroe prevoshodit M}

WriteLn; WriteLn;

WriteLn('O T V E T: Summa etih chisel ravna: ', S); ReadLn;

WriteLn; WriteLn;

WriteLn('O T V E T: Proizvedenie etix chisel ravno: ', R); ReadLn

END.

Результаты работы Pascal-программы (рис. 7).

Рис. 7

Задание 5

Составить алгоритм выполняемого процесса;

Определить множества условий и событий для процесса;

Построить сеть Петри для моделируемого процесса.

6	Работа банкомата в режиме выдачи наличных денежных средств

Условиями для рассматриваемой системы являются:

а) банкомат ждет;

б) запрос поступил и ждет;

в) банкомат обрабатывает запрос;

г) запрос обработан.

Событиями для этой системы являются:

1.Запрос поступил.

2. Банкомат начинает обработку запроса.

3. Банкомат заканчивает обработку запроса.

4. Результат обработки выдаются деньги клиенту.

Для перечисленных событий можно составить следующую таблицу их пред- и постусловий (рис. 8).

Событие	Предусловия	Постусловия
1 2 3 4	нет а, б в г	б в г, а нет

		а

 

Рис. 8

Предусловие выполняется для события 2.