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