Написание программ вычисления факториалов

Каждый оператор в программе Harmonic определял переход из одного множества состояний в другое.

Рассмотрим еще один пример.

Пример 10.1. Написать программу вычисления f(n)=n! , где n - натуральное, либо равно 0.

Program Factorial (input, output);

{  Программа Factorial вычисляет значение функции п!

Input:                  (nÎ N)Ù(n ³ 0)

Output:   (Fctrl Î N)Ù(Fctrl ³ 1)Ù(Fctrl=)

}

var          i, n, fctrl            :  integer ;                     { n - исходное значение;

fctrl - результат;

i - параметр цикла

}

begin

{Ввод исходных данных}

write       (¢Введите значение n = ¢) ;

readln     ( n ) ;

{Проверка корректности исходных данных}

if n1 .

Пример 10.2.

   Множество состояний, определяемых предикатом wp(S,T) для некоторого оператора S, есть множество всех состояний, таких, что выполнение оператора S, начавшееся в одном из этих состояний, обязательно заканчивается.

Определение 10.3. Обозначим    предикат, который получается из предиката R , если в нем заменить все свободные вхождения переменной x на выражение е .

Например, если R(x,y)=(x+y) , то

Пусть

E=x