ТЛУМАЧНИЙ СЛОВНИК

Стала рядкова – те ж саме, що літерал.

Стала ціла – це, як і в математиці, позначення цілого числа у вигляді послідовности десяткових цифр, можливо, із знаком "+" або "–" попереду.Стан змінної – пара вигляду (ім'я змінної, значення змінної). Значення, а відтак і стан, може змінюватися при виконанні операторів програми.

Стан пам'яті процесу виконання програми – сукупність станів змінних. Розглядається найчастіше як функція, областю визначення якої є множина змінних процесу виконання програми, а областю значень є об'єднання носіїв типів цих змінних.

Стек – те ж саме, що магазин.

Стек програмний – те ж саме, що пам'ять автоматична.

Структура – у мовах програмування змінна структурного типу, що складається зі змінних скалярних і структурних типів, кожна з яких ідентифікується окремим ім'ям. Це також значення змінної-структури. У мові Паскаль це те ж саме, що запис.

Сумісність типів – можливість запису операндів різних типів у виразах (наприклад, типи цілих і дійсних сумісні).

Сумісність типів за присвоюванням – можливість присвоювати змінним одного типу значення іншого типу (у мові Паскаль дійсний тип сумісний за присвоюванням з цілим, але не навпаки).

Т

Текст – послідовність символів, розбита на рядки.

Тип – пара (множина елементів, множина операцій з ними). Множина елементів називається носієм типу, множина операцій – сигнатурою.

Тип адресний – тип, значеннями якого є адреси.

Тип бульових значень Boolean – у мові Паскаль тип із носієм, значення якого позначаються сталими false, true, а операції алгебри Буля – знаками and, or, not. Є реалізацією цієї алгебри. Належить до типів перелічуваних.

Тип-діапазон – у мові Паскаль тип, який задається в програмі виразом вигляду C1..C2, де C1, C2 – сталі того самого типу перелічуваного. Також є перелічуваним.

Тип дійсних значень real – у мові Паскаль тип із носієм, значення якого позначаються сталими дійсними. У сигнатурі типу є операції +, –, *, /, порівняння =, < тощо, функції стандартні математичні, а також функції trunc (ціла частина) і round (найближче ціле).

Тип-перелік – у мові Паскаль тип, який задається в програмі виразом вигляду (I1, … , Ik), де I1, … , Ik – довільні ідентифікатори, відмінні від зарезервованих. Є типом перелічуваним.

Тип перелічуваний – тип мови Паскаль, для якого означено операції succ (наступний), pred (попередній) і ord (порядковий номер елемента), а також порівняння. Типи boolean, char і integer, на відміну від типу real, – перелічувані. У програмі перелічуваний тип можна означати у вигляді типу-переліку або типу-діапазону.

Тип символьних значень char – у мові Паскаль тип із носієм, значення якого позначаються сталими символьними або виразами вигляду chr(ціле). Належить до типів перелічуваних.

Тип скалярний – у мові Паскаль тип, елементи якого розглядаються й використовуються як неподільні, тобто такі, що не мають ідентифікованих окремо частин.