В общем случае структура описания массива такова. Оно начинается с обозначения типа, задающего тип значений элементов массива, причем тип real разрешается опускать. Затем обязательно пишется символ array, а за ним один или несколько сегментов массивов, разделенных запятыми. Каждый сегмент состоит из списка идентификаторов массивов, отделенных друг от друга запятыми, и заключенного в квадратные скобки списка граничных пар. Зтот список относится ко всем массивам данного сегмента. Каждая граничная пара состоит из двух выражений для границ, разделенных двоеточием. Если в список входит более одной граничной пары, то эти пары разделяются запятыми.
В качестве выражений для границ в описаниях массивов и выражений для индексов у переменных с индексами могут применяться любые арифметические выражения. Арифметическое выражение в Алголе — это запись правила для вычисления одного числового значения. Пока мы не объяснили, как в общем случае составляются такие выражения, будем пользоваться простейшими частными случаями арифметических выражений — обозначениями чисел и переменными. Таким образом, возможны такие описания  массивов:
Integer array ml, т2, тЗ [1: п], с [0:2, —1: 1] Boolean array beta, gamma \0 : n], p, q [11: 15]
Каждое из этих описаний содержит по два сегмента массивов. В силу первого описания идентификаторы ml, т2, тЗ и с обозначают массивы с целочисленными элементами, идентификаторы beta, gamma, р и q — с логическими. У массива с — девять элементов, так как каждый из двух индексов может принимать по три значения. У массивов р и q — по пять элементов, индексы которых заключены в пределах от 11 до 15. Что касается массивов ml, т2, тЗ, beta и gamma, то у них верхняя граница значений индекса определяется в тот момент, когда эти описания массивов обрабатываются в ходе выполнения алгоритма, содержащего эти описания. Когда именно наступает такой момент — будет сказано в § 6. Значение верхней границы индексов этих массивов равно текущему значению переменной я в этот момент. Если при этом окажется, что значенге переменной п равно нулю, то массивы ml, т2 и тЗ не будут содержать ни одного элемента, так как не существует значений индекса, которые одновременно удовлетворяли бы ограничениям, накладываемым нижней и верхней границей. Массивы beta и gamma будут содержать по одному элементу, а именно beta [0] и gamma 10].