Общая характеристика языков программирования

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

Если язык близок к естественному языку программирования, то
он называется языком высокого уровня, если ближе к машинным коман-
дам – языком низкого уровня.
В группу языков низкого уровня входят машинные языки и
языки символического кодирования: (Автокод, Ассемблер). Операторы
этого языка – это те же машинные команды, но записанные мнемониче-
скими кодами, а в качестве операндов используются не конкретные ад-
реса, а символические имена. Все языки низкого уровня ориентированы
на определенный тип компьютера, т. е. являются машинно-зависимыми.
Машинно-ориентированные языки – это языки, наборы операторов и
изобразительные средства которых существенно зависят от особенно-
стей ЭВМ (внутреннего языка, структуры памяти и т.д.).
Языки высокого уровня машинно–независимы, т.к. они ориен-
тированы не на систему команд той или иной ЭВМ, а на систему опе-
рандов, характерных для записи определенного класса алгоритмов. Од-
нако программы, написанные на языках высокого уровня, занимают
больше памяти и медленнее выполняются, чем программы на машинных
языках.
Основная классификация языков программирования высокого
уровня основывается на их принадлежности к одному из оформившихся
к настоящему времени стилей программирования, каждому из которых
соответствует своя собственная модель вычислений. Соответственно
выделяют четыре группы языков программирования высокого уровня:

Императивные (процедурные): основными объектами в таких
языках являются переменные, операторы присваивания, стандартные
алгоритмические конструкции. Программа на процедурном языке про-
граммирования состоит из последовательности операторов (инструк-
ций), задающих те или иные действия. Примерами процедурных языков
являются Pascal, Fortran, C, Modula, Basic и другие.
Функциональные: программа описывает вычисление некоторой
функции, значения которой определяются по заданным параметрам;
предназначены для решения задач нечисленного характера. Примером
функционального языка является язык LISP (List Processing-обработка
списков). Разработан и реализован в Массачусетском технологическом
институте в 1959 г. Рассматривается специалистами как основной язык
программирования систем искусственного интеллекта.
Логические: программы на таких языках не описывают действия,
они задают данные и отношения между ними, после этого можно зада-
вать вопросы. Языком логического программирования является Prolog –
Programming in Logic.
Объектно-ориентированные: создаются объекты, каждый из кото-
рых отличается своими свойствами и способами взаимодействия с дру-
гими объектами. Программист задает совокупность операций, описывая
структуру обмена сообщениями между объектами. К объектно-
ориентированным языкам относятся Object Pascal, Delphi, Visual Basic,
C++Builder.
В основе любого языка программирования лежит его алфавит, т.е.
совокупность основных символов языка. К ним относятся латинские
буквы, цифры и некоторые специальные знаки. Из алфавита образуется
словарь языка – его основные конструкции. В словарь языка входят ве-
личины, выражения, описания и операторы. Правила записи основных
конструкций языка называются синтаксисом языка, а правила их ис-
пользования – семантикой языка (другими словами синтаксис языка
программирования – это форма, а семантика – смысл его конструкций).