Язык программирования - это формальный компьютерный язык, предназначенный для передачи инструкций машине, в частности компьютеру. Языки программирования могут использоваться для создания программ, управляющих поведением машины, или для выражения алгоритмов.

Самая ранняя известная программируемая машина предшествовала изобретению цифрового компьютера и представляет собой автоматический флейтист, описанный в IX веке братьями Муса в Багдаде, "во времена исламского золотого века". С начала 1800-х годов "программы" использовались для управления поведением таких машин, как жаккардовые ткацкие станки и пианино.

В настоящее время созданы тысячи различных языков программирования, в основном в компьютерной сфере, и каждый год создается еще больше. Многие языки программирования требуют задания вычислений в императивной форме (то есть в виде последовательности операций для выполнения), в то время как другие языки используют другие формы спецификации программ, такие как декларативная форма (то есть указывается желаемый результат, а не способ его достижения).

Описание языка программирования обычно разделяют на две составляющие: синтаксис (форма) и семантику (смысл). .