31. Основные компоненты процедурно-ориентированных (императивных) языков программирования, их общность и различия

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

Поскольку команды и данные хранятся в соседних ячейках, то операции на компьютере выполняются быстро. Все популярные языки программирования используют латинский алфавит, ряд специальных символов, которые имеются на клавиатуре, а также англ. слова и выражения (real, integer, if, then, else,do и т.п.), представляющие собой ключевые, или зарезервированные слова.

Ключевые слова (Keyword) используются в фортране и имеют свое функциональное предназначение, находясь, как правило, в неисполняемой части программы (описательной). Так, указание REAL L указывает, что значение переменной L – действительное.

Зарезервированные слова (reserved word) могут использоваться только в контексте, предусмотренном правилами (семантикой) языка.

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

Наиболее характерными типами данных являются следующие.

Элементарные типы данных – типы данных, не определяемые в других типах и существующие практически во всех императивных языках:

Числовые типы: целые – Integer; действительные – REAL (с фиксированной и плавающей точкой); комплексные (COMPLEX) и с двойной точностью (DOUBLE PRECISION) – только в фортране; булевские, или логические, типы – TRUE, FALSE.

Символьные типы – запоминаются с помощью цифрового кодирования.

Массивы (array, dimension), структурированные типы данных – однородное множество данных, в котором каждый элемент идентифицируется его положением по отношению к первому элементу.

Все языки имеют три типа выражений. Арифметические выражения задают порядок действия над элементами данных и состоят из операндов, круглых скобок и знаков операций, традиционных для всех языков +, -, *,/,** или ^. Логические выражения (булевские) состоят из операндов, логических операций и операций отношения (сравнение 2-х операндов). Символьные выражения (литеры) порождают значения, имеющие литерный тип данных.

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

Операторы в алгоритмических языках могут быть:

а) простыми (присваивания)

б) ввода-вывода (read, write, print)

в) структурными (условные операторы или операторы повтора).