ИЗОБРАЖЕНИЕ-ТИПА-МАССИВА ::=
array ( ИЗОБРАЖЕНИЕ-ТИПА-ЭЛЕМЕНТА , ИЗМЕРЕНИЯ-МАССИВА )
ИЗОБРАЖЕНИЕ-ТИПА-ЭЛЕМЕНТА ::= ИЗОБРАЖЕНИЕ-ТИПА
ИЗМЕРЕНИЯ-МАССИВА ::= ИЗОБРАЖЕНИЕ-ТИПА-ИНДЕКСА [, ИЗМЕРЕНИЯ-МАССИВА]
ИЗОБРАЖЕНИЕ-ТИПА-ИНДЕКСА ::= ИЗОБРАЖЕНИЕ-ТИПА
Значение массива состоит из совокупности элементов. Каждый элемент доступен по набору индексов в массиве: для массива элемент с набором индексов m есть A[m]. Число индексов совпадает с числом измерений массива. Тип каждого индекса определяет совокупность допустимых значений индекса и должен быть конечным.
Имеется операция «+» для объединения двух массивов-операндов в один массив при условии, что типы элементов совпадают, а множества наборов индексов операндов совместимы по типам и не пересекаются.
type int_vec = array (int, 1..5);
type int_mtx = array (int, 1..2, 1..3);
int_vec v = [ 3, 1, 4, 1, 5 ];
int_vec w = for (x) x*x;
int v_2 = v [2]; // v_2 = 1
int_mtx m = [ [ 1, 2, 3 ], [ 104, 5, 6 ] ];
int e = m [2, 3]; // e = 6
Пример 14. Описание массивов и их инициализация