Элементарная программа

Cтраница 2

Показанный выше элемент в действительности не является элементарной программой языка PDL. Поэтому будем его называть нестандартным именем непоименованный. [16]

Оказывается, что элементарная программа, в частности элементарная программа языка PDL, является идеальной программной единицей для абстракции. Хотя элементарные программы языка PDL могут содержать последовательность, разветвление и цикл, их действия по отношению к результатам выполнен-ия программы являются внутренними и могут отображаться изменением данных на выходе программы. Абстракция описывает только действия над данными н не более того. [17]

Раздел proof доказательства предназначается и специализуется для каждой элементарной программы согласно виду условия С ( X, Y) в теореме правильности. Чтобы более компактно сформулировать правила доказательства, мы записываем условие С в виде сравнений условных правил. [18]

Приведенная задача представляет собой пример проектирования с помощью элементарных программ. [19]

Ниже иллюстрируются синтаксис и семантика логических комментариев для элементарных программ языка PDL. Программная функция элементарных программ называется здесь f - действием. Небольшие примеры намеренно перекомментированы, чтобы полнее продемонстрировать возможности комментариев в программах. [20]

Дескриптивный список. [21]

Дополнительная информация может быть добавлена к списку с помощью элементарной программы, которая присваивает символу признак и его значение. [22]

Дерево анализа программы. [23]

Вышеприведенные упрощения могут быть представлены в виде дерева анализа элементарных программ программы Singsort, приведенного на рис. 5.14. Можно видеть, что Singsort является инициированной программой dowhiledo е восемью уровнями абстрагирования, а дерево анализа элементов дает простое отображение отдельных абстракций и их отношений в программе в целом. Любое поддерево этого дерева анализа может рассматриваться как сегмент программы на языке PDL, являющийся простой программой. Однако для успешного выбора сегментов необходимо изучить связи абстракций с поддеревьями, чтобы обеспечить более точное представление программы. [24]

Сложная программа любого размера может быть прочитана и понята путем установления иерархии ее элементарных программ или их абстракций. Процесс поэтапного абстрагирования начинается с самого низшего уровня ( наиболее детализированного) о замещения каждой элементарной программы ее абстракцией. [25]

Программу Singsort можно легко записать на языке PDL, если рассматривать дерево анализа элементарных программ и упрощенные блок-схемы в обратном порядке. Абстракция 101 в свою очередь является последовательностью ( 1 - 15; 16; 17 - 22) исходной программы. [26]

Этим завершается вывод программной функции программы Sing-sort и составление логического комментария для ее элементарных программ. [27]

Далее на каждом шаге написания или проектирования программы заданная функция раскрывается с помощью соответствующей элементарной программы. При этом функции и предикаты, входящие в элементарную программу, строятся так, чтобы получить функцию программы, совпадающую с данной функцией. [28]

Таким образом, индексированные величины всегда определяют значения этих величин, характеризующих состояние данных элементарной программы. [29]

Заключенные в скобки отношения, которые определяют, что должно быть доказано для каждой элементарной программы, являются дополнительной частью синтаксиса записи доказательства и полезны как при разборе доказательств, так и при выполнении новых доказательств. [30]

Страницы: 1 2 3 4