Масив утворюється із фіксованого числа компонентів одного типу. Число компонентів масиву є константою, яка задається при його описі. При визначенні масиву задається як тип компонентів, так і тип індексів.
Формат: Type < ім`я типу > = array [ T1 ] of T2;
де T1 – тип індексу, T2 – тип компонентів. Індекси являють собою вирази довільного скалярного типу, окрім дійсного. Елементами масиву можуть бути дані довільного типу, включаючи структуровані.
Масив може бути описааним і без означення типу, в розділі опису змінних: Var < ідентифікатор > : array [ T1 ] of T2;
Приклади:
Type
M1=array[1..100] of Real;
M2=array[dhar] of Boolean;
Martix=array[1..Maxint] of Integer;
Coordinata=(x,y,z); Vector=array[Coordinata]of Real;
Var Vect : M1; Sym_Table : M2; Arr1,Arr2 : Matrix;
S : array(Red, Yellow, Green, Blue) of Boolean;
Tип компонентів T2 може бути довільним типом даних, зокрема іншим масивом. В цьому випадку Type Mas = array [a1..az] of array [b1..bz] of Tзадає двумірний (якщо T – простий тип) масив Mas. Для визнначення двомірних маси-вів користуються скороченою формою запису: Тype mas=array[a1..a2, b1..b2] of t.
Аналогічно вводяться n>2-вимірні масиви. Для позначення компонентів масиву використовується ім'я змінної масиву і індекси, що однозначно задають данний елемент: Mas [і,j] = Mas [і][j].
Над однотипними масивами допустимі групові операції: присвоєння та перевірки на рівність: Arr1:=Arr2;. Всі інші перетворення повинні проводитися покомпонентно. Основний недолік в описі масивів – необхідність фіксації числа елементів до початку трансляції.