Контрольная работа: Базис стандартной и рекурсивной схемы. Верификация программы

Графовая форма стандартной схемы на рис. 1.

Рис. 1

Линейная форма стандартной схемы

Turbo Pascal

Program SummaFib;

Uses Crt;

Var M, {zadannoe chislo}

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

S : Integer; {summa chisel Fibonachi}

BEGIN

ClrScr;

Write('Vvedite naturalnoe M : ');

ReadLn(M);

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

S:=4; {4 - summa pervih 3-h 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;

end;

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

WriteLn; WriteLn;

WriteLn('OTVET: Summa etih chisel ravna = ', S); ReadLn

END .

Задание 2

Построить базис рекурсивной схемы;

Составить интерпретацию для заданной рекурсивной схемы (рис. 2);