Статическая структура данных – множество

Множество – структурированный тип, подобно массивам и записям.

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

Структура объявления множественного типа:

type

<имя_множественного_типа>=set of <базовый_тип>;

базовый_тип определяет конечное множество значений множественного типа; любые подмножества базового множества могут являться значениями переменных множественного типа.

Структура объявления переменной множественного типа:

var

<имя_множества>: set of <множественный_тип>;

Множества, как массивы, объединяют однотипные элементы, поэтому в описании множества обязательно должен быть указан тип его элементов.

Например:

type

City=(Moscow, Petersburg, Paris);

Mncity=set of City;

var

P1: Mncity;

P2: set of ‘A’..’F’;

P3: set of 0..9;

Переменная P1 множественного типа Mncity может принимать 2³=8 различных значений:

[Moscow], [Petersburg], [Paris]

[Moscow, Paris], [Moscow, Petersburg], [Petersburg, Paris]

[Moscow, Petersburg, Paris]

[]

Переменной P2 присвоится одно и то же множественное значение в результате работы следующих операторов присвоения:

P2:=[‘A’,’B’,’C’,’D’,’E’,’F’];

P2:=[‘A’..’C’..’F’];

P2:=[‘A’,’B’,’C’..’F’];

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

Тип множество соответствует математическому понятию множества в смысле операций, которые допускаются над структурами такого типа:

• объединение множеств: +

• пересечение множеств: *

• разность множеств: -

• операции отношения: =, <>, <=, >=, IN – проверка принадлежности (бинарная операция, где первый элемент – выражение, второй – множество того же типа; возвращает TRUE, если выражение имеет значение, принадлежащее множеству).

6