Мова програмування, формальна знакова система, використовувана для зв'язку людини з ЦВМ(цифрова обчислювальна машина); призначена для опису даних (інформації) і алгоритмів (програм) їх обробки на обчислювальній машині. Приклади Я. п. — алгол, кобол, фортран, а також машинні мови . Я. п. займають проміжне положення між мовами природними і формалізованими. З першими Я. п. ріднить схожість граматичної будови (вживання слів природної мови, фразова структура і т. п.). З другими Я. п. зближує використання математичних символів і понять, а головне — наявність строгих, точно описаних правил побудови текстів в Я. п. і вирази їх сенсу. Основні призначення Я. п. — бути засобом програмування : формулювання програм і їх реалізації на ЦВМ(цифрова обчислювальна машина).
