Cтраница 2
Существует несколько интуитивных прочтений этого термина, но по существу он означает, что каждое выражение определяет единственную величину, которую нельзя изменить ни путем ее вычисления, ни предоставлением различным частям программы возможности совместно использовать это выражение. Вычисление выражения просто изменяет форму выражения, но не изменяет его величину. Все ссылки на некоторую величину эквивалентны самой этой величине, и тот факт, что на выражение можно ссылаться из другой части программы, никак не влияет на величину этого выражения. Такие динамические изменения в величине данных часто именуются побочными эффектами. Благодаря им значение функции может изменяться, даже если ее аргументы и остаются без изменения всякий раз, когда к ней обращаются. Это приводит к тому, что функцию трудно использовать, поскольку для того, чтобы определить, какая величина получится при выполнении функции, необходимо рассмотреть текущую величину глобальных данных. Это же в свою очередь требует рассмотрения истории вычисления для определения того, что порождает величину глобальных данных в каждый момент времени. Говорят, что императивные языки являются нефункциональными. [16]
Допустим, что существуют два файла, называемые A-FILE и B-FILE. Первый файл состоит из записей, называемых A-RECORD и содержащих среди прочего данное, называемое A-ITEM. Файл B-FILE содержит запись точно такого же формата, за исключением того, что соответствующее данное называется B-ITEM. A-ITEM возрастают в каждой последующей записи файла A-FILE и то же самое справедливо для данных B-ITEM в файле B-FILE. В такой ситуации говорят, что файлы упорядочены по этим данным. Составьте блок-схему для процедуры образования нового файла, называемого C-FILE, который представляет собой копию всех записей файла A-FILE, за исключением тех, для которых имеется запись в файле B-FILE, чье данное B-ITEM равно данному A-ITEM в файле A-FILE. Внутри каждого файла не допускаются одинаковые величины. Они могут встретиться только в разных файлах. Возможно, что попадутся величины данных В-1 ТЕЛ1, которые вообще не равны ни одному данному A-ITEM. Пропустите подобные записи, когда они встретятся, и продолжайте поиски одинаковых величин. [17]