Структура мов програмування
Пристрій всіх систем взаємодії схоже і багато в чому визначає класифікацію мов програмування.
Основні об’єкти мови програмування постійні і нагадують компоненти людських мовних систем:
- синтаксис, який визначає формальні правила запису програми, допустимі види і регістр символів;
- лексика, що включає в себе весь словниковий запас мови: імена змінних і функцій, константи, рядки, оператори;
- граматика, що вказує, як правильно поєднувати одиниці мови для утворення словосполучень і речень.
Лексика і граматика разом визначають семантику мови. На цьому рівні конкретні послідовності знаків набувають особливий сенс, зрозумілий людині і комп’ютера. Наприклад, слово while у багатьох системах програмування трактується як початок циклічної операції.
Звичайно, комп’ютери не розуміють звичайних слів, саме по собі поєднання латинських літер нічого для них не означає. Машини мають справу з машинним кодом – нулями та одиницями, що описують примітивні стану наявності або відсутності сигналу. Тому мови програмування встановлюють чіткі відповідності певних слів і послідовностей нативних машинних команд.
Перші примітивні системи управління машинами – перфокарти – використовувалися для ткацьких верстатів Жаккарда, які переносили на шовк візерунок будь-якої складності. Таким же способом програмувалися самоиграющие піаніно.
Існують сотні систем програмування, і кожен рік з’являються нові. Деякі з них принципово відрізняються один від одного, інші дуже схожі і мають лише дрібні особливості. Кожна призначена для вирішення свого завдання, широкої або вузькоспеціалізованої.