Cтраница 2
Предложение присваивания данных может рассматриваться как программа, которая преобразует данные из их исходного состояния в результирующее. Все данные, которые не записаны в левой части предложения, должны оставаться неизменными. Правая часть предложения задает правило для вычисления новых значений переменных, записанных в левой части. Предложение присваивания осуществляет преобразование данных в соответствии с описаниями включающей его программы. [16]
Выполнение программы завершается ( достигается конечная точка) при реализации ее дерева выполнения, и выполнение программы, как правило, может быть закончено, даже если дерево выполнения не является конечным. Рассмотрим все возможные пути выполнения программы, определенные Е - деревом. Значение Y для данного X единственно, поэтому множество всех упорядоченных пар ( X, Y)) определяет функцию. Например, программная функция единичного предложения присваивания может быть определена как функция, которая присваивает данным имена. [17]