П2.8.2. Основные понятия языков программирования.
Любой язык программирования должен включать следующие понятия:
алфавит – множество символов, с помощь которых записывается текст программы;
оператор – синтаксическая конструкция, предназначенная как для записи алгоритмических действий по преобразованию данных, так и для задания порядка выполнения других действий;
идентификатор (имя) – специальная неделимая группа символов из алфавита языка, используемая при записи операторов и ряда других элементов программы;
константа – идентификатор, имеющий постоянное значение, которое может быть в дальнейшем использовано в программе; изменять значение констант запрещается;
метка – элемент программы, предназначенный для указания в программе места, на которое затем можно передать управление.
переменная – элемент данных, с которыми производятся действия; переменная обозначается идентификатором; любая переменная характеризуется таким важным понятием, как
тип – множество значений переменной и, как следствие, множество допустимых операций над этой переменной;
подпрограмма – часть программы в виде отдельной синтаксической единицы, в которой описываются определенные действия; каждая подпрограмма имеет свое имя; подпрограммы, как правило, подразделяются на процедуры и функции;
выражение – элемент программы, содержащий последовательность констант и (или) переменных, соединенных знаками операций, либо включающий одну или несколько функций, аргументом которых может быть другое выражение; константы, переменные и выражения часто называют операндами.
П2.8.3. Структуры и типы данных языка программирования
Любая программа на процедурном языке программирования, как правило, оперирует с числовыми данными, поэтому любой язык программирования содержит числовые типы, которые подразделяются на целые и вещественные типы. Ряд языков обладает по одному или двум представителям целых и вещественных типов (например, в Фортране-77 насчитывается три целых и два вещественных типа – с обычной и одинарной точностью, а в языке Object Pascal – 9 целых и 7 вещественных типов). Каждый тип характеризуется объемом занимаемой памяти и множеством допустимых значений операндов для данного типа.
Современные языки программирования содержат, кроме того, логический, символьный и строковый (текстовый) типы. Практически ни один язык программирования не обходится без массивов. Язык Pascal весьма богат множеством стандартных типов и позволяет программистам создавать свои, пользовательские, типы.