Формальный язык, на котором пишутся программы для компьютеров. Определение языка программирования включает: 1). Список допустимых символов; 2). Список зарезервированных слов; 3). Синтаксис (способы комбинирования символов и зарезервированных слов; 4). Сематнику (смысл конструкций языка программирования). Языки программирования делятся на языки низкого уровня (каждая инструкция описывает одно действие процесора) и языки высокого уровня (каждая инструкция может описывать несколько действий процессора).