Языки программирования

Язык программирования – формальная знаковая система, предназначенная для описания алгоритмов в форме, которая удобна для исполнителя (например, ЭВМ, т.е. компьютера).

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

Со времени создания первых программируемых машин человечество придумало уже более 2500 языков программирования. Каждый год их число пополняется новыми.

Некоторыми языками умеет пользоваться только небольшое число их собственных разработчиков, другие становятся известны миллионам людей. Профессиональные программисты иногда применяют в своей работе более десятка разнообразных языков программирования.

Каждый язык программирования может быть представлен в виде набора формальных спецификаций, определяющих его синтаксис и семантику – систему правил истолкования отдельных языковых конструкций.

Эти спецификации обычно включают в себя описание:

· типов и структур данных;

· операционную семантику (алгоритм вычисления конструкций языка);

· семантические конструкции языка;

· библиотеки примитивов (например, команды ввода-вывода);

· философии, назначения и возможностей языка.

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

Языки программирования принято делить на низкоуровневые и высокоуровневые. Такое разделение происходит взависимости от степени детализации команд – чем меньше детализация, тем выше уровень языка.