Реферат: Язык программирования Норма

взаимосвязи будут выявлены и учтены при организации процесса счета

транслятором.

Выбор уровня языка Норма определяет характерную его черту - в этом

языке нет необходимости вводить такие понятия, как оператор присваивания и

возможность переприсваивания значений (типа х:=х+1) и операторы перехода.

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

необходимостью формулировки конкретного алгоритма с учетом вопросов

экономии и распределения памяти, порядка выполнения операторов и т. п.

Побочный эффект в языке Норма отсутствует по определению.

Понятно, что многие из этих вопросов появляются снова на этапе синтеза

рабочей программы. Однако, здесь они решаются автоматически по строгим

правилам, гарантирующим правильность синтезируемой программы.

Непроцедурность языка Норма позволяет преодолеть еще одну трудность,

связанную с распараллеливанием алгоритма при счете на ЭВМ, допускающих

совмещение операций. Известные методы распараллеливания последовательных

алгоритмов основаны на выявлении, при некоторых ограничениях, частей

алгоритма, которые можно выполнять независимо, в соответствии с заданным

критерием параллелизма - асинхронные вычисления, синхронные и т. п. Однако,

выявление взаимосвязей в уже сформированном последовательном алгоритме

является неестественной и трудной задачей, так как анализируемая

формулировка, как правило, насыщена избыточными взаимосвязями (типа введения

рабочих переменных для экономии памяти, конкретных способах организации

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

алгоритм надо транслировать в параллельный, а не определять параллельный

сразу по непроцедурной записи.

Эти свойства, и некоторые другие ограничения, позволяют строго

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

общей постановке решение этой задачи приводит к значительным математическим

трудностям - она может оказаться NP-полной либо вообще неразрешимой. С