Оператор цикла с постусловием. Блок-схема. Синтаксис.

В операторе цикла с постусловием (начинающимся со слова repeat) выражение, которое управляет повторным выполнением после- довательности операторов содержится внутри оператора repeat. ┌──────┐ ┌────────┐ ┌─────┐ ┌─────────┐ оператор ─>│repeat├────>│оператор├──┬─>│until├──>│выражение├──> repeat └──────┘ ^ └────────┘ │ └─────┘ └─────────┘ │ ┌───┐ │ └────┤; │<────┘ └───┘ Результат выражения должен быть булевского типа. Операторы, заключенные между ключевыми словами repeat и until, выполняются последовательно до тех пор, пока результат выражения не примет значение True. Последовательность операторов выполнится по край- ней мере один раз, поскольку вычисление выражения производится после каждого выполнения последовательности операторов. Приведем примеры оператора цикла с постусловием: repeat K:= I mod J; I:= J; J:= K; until J = 0; repeat Write('Введите значение (0..9):'); Readln(I); until (I >= 0) and (I <= 9);

 

ТИПЫ ДАННЫХ ЯЗЫКА PASCAL.КЛАССИФИКАЦИЯ ТИПОВ ДАННЫХ.

Иерархия типов в языке Паскаль такая:

• Простые
• Порядковые
• Целые
• Логические
• Символьные
• Перечисляемые
• Интервальные
• Вещественные
• Структуированные
• Массивы
• Строки
• Множества
• Записи
• Файлы
• Указатели

Простые типы данных

В таблице приведены простые типы данных Турбо Паскаль, объем памяти, необходимый для хранения одной переменной указанного типа, множество допустимых значений и применимые операции.

 

Идентификатор	Длина (байт)	Диапазон значений	Операции
Целые типы
integer		-32768..32767	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
byte		0..255	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
word		0..65535	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
shortint		-128..127	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
longint		-2147483648..2147483647	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
Вещественные типы
real		2,9x10^-39 - 1,7x10^38	+, -, /, *, >=, <=, =, <>, <, >
single		1,5x10^-45 - 3,4x10^38	+, -, /, *, >=, <=, =, <>, <, >
double		5x10^-324 - 1,7x10^308	+, -, /, *, >=, <=, =, <>, <, >
extended		3,4x10^-4932 - 1,1x10^4932	+, -, /, *, >=, <=, =, <>, <, >
Логический тип
boolean		true, false	Not, And, Or, Xor, >=, <=, =, <>, <, >
Символьный тип
char		все символы кода ASCII	+, >=, <=, =, <>, <, >

Перечисляемый и интервальный тип относятся к типам, определяемым пользователем и будут рассмотрены нами позже.

 

Порядковые типы, выделяемые из группы простых типов, характеризуются следующими свойствами:

• все возможные значения порядкового типа представляют собой ограниченное упорядоченное множество;
• к любому порядковому типу может быть применена стандартная функция Ord, которая в качестве результата возвращает порядковый номер конкретного значения в данном типе;
• к любому порядковому типу могут быть применены стандартные функции Pred и Succ, которые возвращают предыдущее и последующее значения соответственно;
• к любому порядковому типу могут быть применены стандартные функции Low и High, которые возвращают наименьшее и наибольшее значения величин данного типа.

В языке Паскаль введены понятия эквивалентности и совместимости типов. Два типа Т1 и Т2 являются эквивалентными (идентичными), если выполняется одно из двух условий:

• Т1 и Т2 представляют собой одно и то же имя типа;
• тип Т2 описан с использованием типа Т1 с помощью равенства или последовательности равенств. Например:

· type· T1 = Integer;· T2 = T1;· T3 = T2;

Менее строгие ограничения накладываются на совместимость типов. Так, типы являются совместимыми, если:

• они эквивалентны;
• являются оба либо целыми, либо действительными;
• один тип - интервальный, другой - его базовый;
• оба интервальные с общим базовым;
• один тип - строковый, другой - символьный.

В Турбо Паскаль ограничения на совместимость типов можно обойти с помощью приведения типов. Приведение типов позволяет рассматривать одну и ту же величину в памяти ЭВМ как принадлежащую разным типам. Для этого используется конструкция

Имя_Типа(переменная или значение)

Напрмер, Integer('Z') представляет собой значение кода символа 'Z' в двухбайтном представлении целого числа, а Byte(534) даст значение 22, поскольку целое число 534 имеет тип Word и занимает два байта, а тип Byte занимает один байт, и в процессе приведения старший байт будет отброшен.

 

ПОРЯДКОВЫЕ ТИПЫ ДАННЫХ.ФУНКЦИИ, ОПРЕДЕЛЕННЫЕ В ЯЗЫКЕ ПАСКАЛЬ ДЛЯ ПОРЯДКОВЫХ ТИПОВ ДАННЫХ.

Порядковые типы данных

Среди базовых типов данных особо выделяются порядковые типы. Такое название можно обосновать двояко:

1. Каждому элементу порядкового типа может быть сопоставлен уникальный (порядковый) номер. Нумерация значений начинается с нуля. Исключение - типы данныхshortint, integer и longint. Их нумерация совпадает со значениями элементов.
2. Кроме того, на элементах любого порядкового типа определен порядок (в математическом смысле этого слова), который напрямую зависит от нумерации. Таким образом, для любых двух элементов порядкового типа можно точно сказать, который из них меньше, а который - больше ²⁾.