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

Рядок – у загальному розумінні це послідовність символів із явно позначеним кінцем. У програмуванні це 1) послідовність символів; 2) змінна, значенням якої є послідовність символів; 3) послідовність символів із явно позначеним кінцем у файлі-тексті.

С

Секція параметрів – у мові Паскаль означення однотипних параметрів підпрограми того самого виду (або параметри-значення, або параметри-змінні). Має вигляд списку імен, за яким після двокрапки записано ім'я типу. Секція параметрів-змінних починається словом var перед списком.

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

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

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

Система числення – система запису, або позначення, чисел.

Система числення позиційна – система запису чисел, у якій числове значення, що ставиться у відповідність цифрі, залежить від її позиції в записі числа.

Скидання буфера – копіювання даних із заповненого буфера на зовнішній носій.

Складність алгоритму. Нехай A позначає алгоритм розв'язання деякої масової задачі. Позначимо через F(A, екземпляр) кількість елементарних дій у процесі розв'язання цього екземпляра задачі за алгоритмом A, а через F(A, n) – максимум кількості елементарних дій серед усіх екземплярів, що характеризуються деяким розміром n. Кожному n = 1, 2, 3, ... відповідає певне значення F(A, n), тобто існує функція, яка розмірам n ставить у відповідність максимальні кількості елементарних дій, виконуваних за алгоритмом A. Ця функція і є складністю алгоритму.

Складність задачі – найменша зі складностей алгоритмів її розв’язання.

Сортування – переупорядкування елементів послідовності так, що в результаті утворюється неспадна або незростаюча послідовність.

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

Список упорядкований – список, що подає послідовність упорядковану.

Співвідношення рекурентне – рівність, що виражає член послідовності через k попередніх (один або кілька) за допомогою деякого виразу. Якщо відомі попередні члени sn–k, ... , sn–1, то вираз фактично задає обчислення наступного sn. Це обчислення називається застосуванням рекурентного співвідношення.

Стала – позначення числа або іншого значення. Також це ділянка пам'яті, стан якої не може мінятися у процесі виконання програми.

Стала бульова – у мові Паскаль запис вигляду false або true, позначає відповідно значення, про які ми звикли говорити "хибність" і "істина".

Стала дійсна – позначення числа типу дійсних. У мові Паскаль – числа типу real. Являє собою послідовність певної структури з десяткових цифр, крапки та знаків "'+", "–", "E", "e".

Стала символьна – позначення елемента типу символів. У мові Паскаль це символ в апострофах, наприклад, 'x', '1'.