Реферат: Основные понятия алгоритмического языка

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

твом разработки программ и рассматривается как необходимое свойство

современных алгоритмических языков высокого уровня. В языке ПАСКАЛЬ

существуют скалярные и структурированные типы данных.

К cкалярным типам относятся стандартные типы и типы, определяе-

мые пользователем.

Стандартные типы включают целые, действительные, символьный,

логические и адресный типы. Типы, определяемые пользователем, - пере-

числяемый и интервальный.

Структурированные типы имеют четыре разновидности: массивы, мно-

жества, записи и файлы.

Кроме перечисленных, TURBO PASCAL включает еще два типа - проце-

дурный и объектный.

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

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

-все возможные значения порядкового типа представляют собой

ограниченное упорядоченное множество;

-к любому порядковому типу может быть применена стандартная

функция Ord, которая в качестве результата возвращает порядко-

вый номер конкретного значения в данном типе;

-к любому порядковому типу могут быть применены стандартные

функции Pred и Succ, которые возвращают предыдущее и последую-

щее значения соответственно;

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

ции Low и High, которые возвращают наименьшее и наибольшее значения

величин данного типа.

В языке ПАСКАЛЬ введены понятия эквивалентности и совместимости типов.

Два типа Т1 и Т2 являются эквивалентными (идентичными), если выполняется

одно из двух условий: