Способы обозначения и определения процедур

Мы определили операторы как изменения значений некоторых переменных, имена которых принадлежат состоянию, в зависимости от значений тех же переменных

Оператор

<N₁→V₁ <N₁→V₁’

… …

N_m→V_m> N_m→V_m’>

где N – имена, V – значения.

В классической математике мы могли бы описать такое преобразование системой прямых определений через равенство

для некоторых функций f₁ и f_m.

В программировании подобное преобразование записывается в виде:

N₁,…,N_m:=f₁(N₁,…,N_m),…,f_m(N₁,…N_m)

Программист работает с именами, а не значениями. Такая форма записи процедуры называется оператором кратного присваивания. В реальных языках программирования чаще встречается более простая форма присваивания:

N_i:=f_i(N₁,…,N_m)

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

Каждый язык процедурного программирования – язык определения операторов. Сами процедуры можно трактовать как определение оператора заданием способа его вычисления.

Традиционно такой язык определяется:

1. классом базовых операторов (в частности допустимых присваиваний);

2. классом операторных конструкций, порождающих путем кратного применения из базовых операторов все более сложные.

Процедурный, операционный, алгоритмический подход - не единственный, но первый успешный, состоявшийся на практике подход к программированию. Потому нам естественно рассматривать как начальный.

Дата добавления: 2014-01-07