ВЫРЕЗКА-МАССИВА ::=
ВЫРАЖЕНИЕ-МАССИВ [ СУЖЕННЫЙ-НАБОР-ТИПОВ-ИНДЕКСОВ ]
ВЫРАЖЕНИЕ-МАССИВ ::= ВЫРАЖЕНИЕ
СУЖЕННЫЙ-НАБОР-ТИПОВ-ИНДЕКСОВ ::= НАБОР-ИНДЕКСОВ
НАБОР-ИНДЕКСОВ ::= ЭЛЕМЕНТ-НАБОРА-ИНДЕКСОВ [, НАБОР-ИНДЕКСОВ]
ЭЛЕМЕНТ-НАБОРА-ИНДЕКСОВ ::= ЗНАЧЕНИЕ-ИНДЕКСА | ИЗОБРАЖЕНИЕ-ДИАПАЗОНА
ЗНАЧЕНИЕ-ИНДЕКСА ::= ВЫРАЖЕНИЕ
Вырезка массива определяет массив как часть некоторого массива заданием подмножества наборов индексов. Достаточно задать сужение хотя бы по одному измерению массива. В частности, допустимо сужение к единственному значению индекса. Однако вырезка массива не может превратиться в единственный элемент массива. Результатом исполнения вырезки массива является переменная типа “массив”. Нового массива при этом не создается.