Мова програмування - формальна знакова система, призначена для опису алгоритмів у формі, яка зручна для виконавця (наприклад, комп'ютера). Мова програмування визначає набір лексичних, синтаксичних і семантичних правил, використовуваних при складанні комп'ютерної програми. Він дозволяє програмісту точно визначити те, на які події буде реагувати комп'ютер, як будуть зберігатися і передаватися дані, а також які саме дії слід виконувати над цими при різних обставинах.
З часу створення перших програмованих машин людство придумало вже більше двох з половиною тисяч мов програмування. Кожен рік їх число поповнюється новими. Деякими мовами вміє користуватися тільки невелике число їх власних розробників, інші стають відомі мільйонам людей. Професійні програмісти іноді застосовують у своїй роботі більше десятка різноманітних мов програмування.
Творці мов по-різному тлумачать поняття мову програмування. Серед громад місць, визнаних більшістю розробників, знаходяться наступні:
Функція: мова програмування призначений для написання комп'ютерних програм, які застосовуються для передачі комп'ютеру інструкцій щодо виконання того чи іншого обчислювального процесу та організації управління окремими пристроями.
Завдання: мова програмування відрізняється від природних мов тим, що призначений для передачі команд і даних від людини комп'ютера, в той час як природні мови використовуються лише для спілкування людей між собою. У принципі, можна узагальнити визначення "мов програмування" - це спосіб передачі команд, наказів, чіткого керівництва до дії, тоді як людські мови служать також для обміну інформацією.
Виконання: мова програмування може використовувати спеціальні конструкції для визначення та маніпулювання структурами даних і управління процесом обчислень.