Cтраница 1
Управляющие структуры языка PDL являются структурами с одним входом и одним выходом. Поэтому можно представлять отдельные операции, входящие в структуру, с любой степенью детализации. [1]
В остальные управляющие структуры языка PDL комментарии вводятся аналогичным образом. [2]
Среди множества управляющих структур языка Паскаль простые и гибкие операторы цикла while и repeat и оператор варианта case обладают большими достоинствами. Вместе с условным оператором if и коренным образом переработанной зерсией оператора цикла for ( заимствованного из языка Алгол 60) они позволяют выразить большую часть того, что может понадобиться выразить программисту, путем использования вложенных иерархических структур, представляющих собой композиции этих операторов. Это в значительной степени способствует облегчению понимания и отладки программ и облегчает оптимизацию генерируемого трансляторами с языка Паскаль объектного кода. [3]
В структурном программировании выделяется значимость структур данных программы и задачи, методов и принципов абстрагирования, расчленения и конструирования операций, а также управляющих структур языка. Программы нужно было подразделять на логические уровни ( levels of abstract machine) и модули ( module), между которыми нужно было четко определить интерфейсы. Подробности нужно было спрятать ( information hiding) на разных уровнях реализации и внутри модулей так, чтобы они не влияли на использование модуля на более высоком уровне. [4]
В нем предусмотрен развитый набор средств для создания, поддержки и использования реляционных баз данных. Управляющие структуры языка позволяют конструировать программы с достаточно сложной логикой, содержащие циклы, ветвления, процедуры. Имеются возможности определять массивы и выполнять над ними различные операции. Предусмотрена большая библиотека встроенных функций разнообразного характера. [5]
В этом множестве отсутствует структура, соответствующая оператору безусловного перехода GOTO. Правомерность исключения такой структуры будет обоснована ниже при доказательстве теоремы о структурировании, в которой утверждается, что с помощью управляющих структур языка PDL может быть реализована управляющая структура обработки данных любой сложности. В процессе доказательства теоремы о структурировании удается производить систематическое преобразование программ, выраженных в виде произвольных управляющих структур, в эквивалентные программы, представляемые с помощью управляющих структур языка PDL. Простые программы, в том числе и программы на языке PDL, имеют один вход и один выход; поэтому их действие на данные может быть оценено по состоянию на входе и выходе. Элементарные программы - это простые программы, составленные из управляющих структур PDL, которые в определенном смысле ( обсуждаемом ниже) являются неделимыми. Программные функции являются точными и исчерпывающими описаниями действия простой программы на данные - от исходного состояния данных до их конечного состояния. Программные функции играют важную роль при чтении, написании и доказательстве правильности программ. [6]
В этом множестве отсутствует структура, соответствующая оператору безусловного перехода GOTO. Правомерность исключения такой структуры будет обоснована ниже при доказательстве теоремы о структурировании, в которой утверждается, что с помощью управляющих структур языка PDL может быть реализована управляющая структура обработки данных любой сложности. В процессе доказательства теоремы о структурировании удается производить систематическое преобразование программ, выраженных в виде произвольных управляющих структур, в эквивалентные программы, представляемые с помощью управляющих структур языка PDL. Простые программы, в том числе и программы на языке PDL, имеют один вход и один выход; поэтому их действие на данные может быть оценено по состоянию на входе и выходе. Элементарные программы - это простые программы, составленные из управляющих структур PDL, которые в определенном смысле ( обсуждаемом ниже) являются неделимыми. Программные функции являются точными и исчерпывающими описаниями действия простой программы на данные - от исходного состояния данных до их конечного состояния. Программные функции играют важную роль при чтении, написании и доказательстве правильности программ. [7]
Положительными свойствами Алгола являются блочная структура и возможность описания динамических массивов. Обязательность подробных описаний ( часто семантически излишних) становится нередко утомительной. Логически связанные друг с другом вещественные числа и булевы переменные не могут быть упакованы в Алголе 60 в один массив. Управляющие структуры языка неудобны для графического программирования. Алгол 60 создавался как алгоритмический язык, и поэтому он почти непригоден для программирования систем управления файлами. [8]
Нисходящее проектирование ( пошаговая детализация) представляет собой последовательность шагов, уточняющих проект. За первым шагом следуют мелкие шаги в направлении детализации алгоритмов и структур данных. В ходе этого процесса выделяются отдельные модули решения и данных, и дальнейшая конкретизация каждого модуля может производиться независимо. Он состоит из двух частей: 1) заданного набора операторов - построенных по образцу того языка программирования, на котором планируется вести кодирование компонентов ПО; 2) предложений естественного языка. Для описания логики проектируемой программы используются управляющие структуры языка программирования ( цикл, ветвление, вызов подпрограмм), а для описания данных и процедур их обработки - естественный язык. [9]