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

Ассоциативные массивы 
 
Ассоциативный массив – это массив с неупорядоченным множеством 
элементов, индексированных таким же количеством величин, называемых 
ключами. 
Ключи должны содержаться в структуре массива, т.е. каждый элемент 
здесь является парой: ключом и величиной. Такие массивы используются в 
таких языках, как Perl, Java. В языке Perl ассоциативные массивы называются 
хэшами, создаются и удаляются с помощью функций хэширования. Размер 
хэша всегда динамический. 
Хэшированные переменные обозначаются специальным символом «%»:
%salaries = (“Bacy” =>3600, “Petr” => 42000, “Masha” =>6000);
Обращение к элементу производится через знак $:
$salaries {“Bacy”} = 70000;
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.