МНОЖЕСТВА

ОПИСАНИЕ ТИПА МНОЖЕСТВО

Понятие множества в языке Pascal основывается на математическом представлении о множествах как ограниченной совокупности различных элементов. Для построения конкретного множественного типа используется перечисляемый или интервальный тип данных. Тип элементов, составляющих множество, называется базовым типом. Область значений типа множество – набор всевозможных подмножеств, составленных из элементов базового типа. На языке Pascal значения элементов множества указываются в квадратных скобках: [1,2,3,4], [1..10], ['a','b','c','d'], ['a'..'z'].

если множество не имеет не имеет элементов, оно называется пустым и обозначается как []. Количество элементов множества называется его мощностью.

Множественный тип описывается с помощью служебных слов Set of

(множество из …).

Формат записи множественных типов имеет вид:

Type

<имя типа >= set of <элемент1,…, элемент N>;

Var

<идентификатор,…>:<имя типа>;

Пример Описание переменной множественного типа:

Type

М = set of 'A'..'D';

Var

MS: M;

Принадлежность переменных к множественному типу может быть определена прямо в разделе описания переменных:

Var

c: set of 0..7;

Константы множественного типа записываются в виде заключенной в квадратные скобки последовательности элементов или интервалов базового типа, разделенных запятыми, например:

['A', 'C'] [0, 2, 7] [3, 7, 11..14].

Константа вида [ ] означает пустое подмножество.

Множество включает в себя набор элементов базового типа, все подмножества данного множества, а также пустое подмножество. Если базовый тип, на котором строится множество, имеет К элементов, то число

подмножеств, входящих в это множество, равно 2 в степени К.

Пусть имеется переменная Р интервального типа:

var

P: 1..3;

Эта переменная может принимать три различных значения - либо 1, либо 2, либо 3. Переменная Т множественного типа

var

T: Set of 1..3;

может принимать восемь различных значений:

[ ] [1,2]

[1] [1,3]

[2] [2,3]

[3] [1,2,3]

Порядок перечисления элементов базового типа в константах безразличен.

Значение переменной множественного типа может быть задано конструкцией вида [T], где T - переменная базового типа.