Лекция 01. Тема Общая характеристика языков программирования высокого уровня

3.7.2. Ограниченный тип
Ограниченным типом называется такой тип, который образуется на 
основе порядкового путем задания минимального и максимального значений 
(в языке Pascal такой тип называется тип-диапазон).
Формат описания:
Type 
<имя типа>=…;
Пример 3.
type 
T1 = ’0’, ’1’, … ’9’,
type
T2 = 0,1, ... 9;
Этот тип наследует все операции своего базового типа. При реализации 
такого типа компилятор должен выполнять проверку выхода значений за 
границу допустимого диапазона типа.
3.8.2. Множества. 
Данные множественного типа представляют собой неупорядоченную 
совокупность 
отдельных 
величин 
некоторого 
порядкового 
или 
перечислимого типа: 
type
<имя типа>=set of<значения базового перечислимого порядкового 
типа>;

---

Таким образом, переменная типа множество является объектом, 
содержащим неупорядоченный набор значений, которые принадлежат 
некоторому базовому типу.
Пример 5.
type
T1 = set of ’0’ .. ’9’;
T2 =s et of 0 .. 9;
T3 = (красный, сильный, зеленый);
T4 = set of T3;
Var
s1, s2, s3 : T1;
s4, s5, s6 : T2;
s7 : T4;
begin
s1 = [‘1’, ‘2’, ‘3’];
s2 = [‘3’, ‘2’, ‘1’];
s3 = [‘2’, ‘3’];
s4 = [0..3, 6];
s5 = [4, 5];
s6 = [3..9];
s7 = [синий, зеленый];
Реализация множеств осуществляется битами машинного слова, которое 
может включать различное количество байт в разных архитектурах ЭВМ.
Поэтому при переносе пользовательской программы, включающей 
множества, на другой компьютер возникает проблема совместимости. 
Мощность множества определяется величиной машинного слова.
Операции над переменными множественного типа по смыслу идентичны 
операциям над математическими множествами:
1. Умножение переменных есть пересечение двух множеств
s4 * s6 = [3, 6];

---

2. Сложение переменных представляет собой объединение множеств
s4 + s5 = [0 .. 6];
3. Разность переменных – это элементы 1-ого множества, которые не 
принадлежат 2-ому.
s6 - s5 = [3, 6, 7, 8, 9];
4. Эквивалентность. 
Две 
переменные 
множественного 
типа 
эквивалентны, если все их элементы одинаковы, причем порядок следования 
безразличен (true, если множества эквивалентны).
5. Неэквивалентность <, >. Результат операции есть true, если 
множества не эквивалентны.
6. Включение <= дает true, если первое множество включено во 2-ое.
s5 <= s6;
7. Принадлежность элемента in. Результат операции равен true, если 
элемент или выражение принадлежит множеству, иначе – false.
4 in s6 = true
1 in s6 = false
Реализован множественный тип только в семействе языка Pascal.

---