Цикл с предусловием -цикл, который выполняется пока истинно некоторое условие, указанное перед его началом. Это условие проверяется до выполнения тела цикла, поэтому тело может быть не выполнено ни разу (если условие с самого начала ложно). В большинстве процедурных языков программирования реализуется оператором while, отсюда его второе название — while-цикл. На языке Pascal цикл с предусловием имеет следующий вид:
while <условие> do
begin
<тело цикла>
end;
На языке Си:
while(<условие>)
{
<тело цикла>
}
Оператор цикла WHILE с предпроверкой условия
Общий вид:
WHILE условие DO тело цикла
где - WHILE, DO - зарезервированные слова (пока, выполнять)
условие - выражение логического типа
тело цикла - операторы яз. Паскаль
Выполнение оператора:
Если выражение “условие” имеет значение ИСТИНА, то выполняется “тело цикла”, следующее за словом DO. В качестве “оператора” может использоваться простой или сложный оператор.
Если выражение “условие” имеет значение ЛОЖЬ, то оператор WHILE прекращает свою работу, т.е. не выполняется ни одного раза.
Цикл с постусловием -цикл, в котором условие проверяется после выполнения тела цикла. Отсюда следует, что тело всегда выполняется хотя бы один раз. В языке Паскаль этот цикл реализует оператор repeat..until; в Си — do…while.
На языке Pascal цикл с постусловием имеет следующий вид::
repeat
<тело цикла>
until <условие выхода>
На языке Си:
do
{
<тело цикла>
}
while(<условие продолжения цикла>)
Оператор цикла REPEAT с постпроверкой условия
Общий вид:
REPEAT тело цикла UNTIL условие
где - REPEAT, UNTIL - зарезервированные слова (повторять, до)
“тело цикла” - последовательность операторов
“условие” - выражение логического типа
Выполнение оператора:
Операторы “тело цикла” выполняется хотя бы один раз, после чего проверяется выражение “условие”. Если его значение ЛОЖЬ, то операторы “тело цикла ” повторяются, в противном случае оператор REPEAT завершает свою работу.
В трактовке условия цикла с постусловием в разных языках есть различия. В Паскале и языках, произошедших от него, условие такого цикла трактуется как условие выхода (цикл завершается, когда условие истинно, в русской терминологии такие циклы называют ещё «цикл до»), а в Си и его потомках — как условие продолжения (цикл завершается, когда условие ложно, такие циклы иногда называют «цикл пока»).
Сложные типы данных.
- такой тип данных, в описании которого используется несколько простых (базовых) типов данных.
Сложные типы данных во первых позволяют создавать собственные типы данных со сложной иерархической структурой.
Студент – ФИО, адрес, дата рождения. Дата рождения – день, месяц, год
TYPE <имя>
<базовый тип>
- - - - - - - - -
END TYPE
TYPE BD
Day as integer
Month
Year
END TYPE
TYPE Stud
FIO as string
BD as BD
END TYPE
DIM student as stud
Student BDay/Day = 12
FIO = “ “
Сложный (составной) тип — тип данных, объекты (переменные или постоянные) которого имеют внутреннюю структуру, доступную программисту.
В разных языках программирования набор базовых сложных типов может несколько отличаться (чаще по названию и деталям реализации). Есть, однако, объективные критерии — однотипность элементов и способ доступа, позволяющие выделить главные представители сложных типов (названия приводятся на примере Pascal, в котором Н.Вирт наиболее чётко сформулировал эти идеи).
массив (array) — элементы только однотипные, доступ произвольный;
запись (record) — элементы возможно разных типов, доступ произвольный;
файл (file) — элементы однотипные, доступ последовательный (примечание: не путать с дисковым файлом!).
Разумеется, этот список не включает даже всех предопределённых в языках типов, но он отражает большинство моделируемых программистами структур данных.
Очень важной идеей, также родившейся на границе 60-70-х годов XX века, является возможность произвольного конструирования нужных структур из небольшого набора предопределённых типов. Чем адекватнее программист смоделировал обрабатываемые данные в рамках такого "конструктора", тем безошибочнее и долговечнее будет разработанная программа.
