Лекция 4. Концепция данных языка программирования

• Элементарные конструкции языка: Алфавит, Имена.

• Типы данных.

• Вычислительные структуры как формальные средства описания данных. Носители и сигнатуры, формы записи.

• Термы. Интерпретации как семантика вычислительных структур.

Алфавит языка

1. Латинские буквы (большие и маленькие), знак подчеркивания ’_’

2. Цифры 0 ... 9

3. Математические символы + - * / < > =

4. Разделители: ; , ‘ . : ^

5. Скобки ( ) [ ] { }

6. Другие символы (для печати): буквы национальных алфавитов, ! ? \ | “...

Имена

Именем в языке называется последовательность (латинских) букв, знака подчеркивания ‘_’ и цифр, начинающаяся с буквы либо со знака подчеркивания.

Имена могут быть сколь угодно длинными. В реализации количество значащих символов в имени может быть ограничено. В стандарте языка имена различаются по первым восьми символам.

имена VeryLongNumber, VeryLongCardinal в стандарте языка обозначают (именуют) один и тот же объект.

Язык не различает больших и маленьких букв. Имена Sin, SIN, sin неразличимы.

Имена используются для обозначения:

программ, констант, типов, переменных, процедур и функций.

Pi, Сonstant - имена констант;

x, y1, y2, Counter - имена переменных;

Integral, MaxMin - имена процедур;

Man, Color, WeekDay - имена типов;

Некоторые имена предопределены заранее.

Sin - имя для обозначения функции синус;

Read - имя для обозначения процедуры чтения;

Они называются стандартными.

Все другие имена выбираются программистом по его усмотрению.

Выбирайте имена так, чтобы они несли смысловую нагрузку Типы данных

Данные есть общее понятие для всего того, с чем оперирует ЭВМ.

В языке Паскаль представлены числа и строки.

Целые числа записываются в десятичной системе счисления:

137, -56, +26

Вещественные числа используют десятичную нотацию, причем целая часть отделяется от дробной точкой. Для обозначения порядка числа в качестве разделителя используется буква Е.

231.14 –3.14159 –45.675Е21

Строки – это последовательности символов, заключенные в одиночные кавычки. Если в строку нужно включить кавычку, то вместо нее записывают две кавычки:

‘ строка из символов ‘, ‘ апостроф ‘’ в слове ‘

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

• простые (элементарные) типы либо определены как стандартные, либо определяются программистом.

• В ЯП определяется также механизм описания и использования структурных (составных) типов из более простых как из базовых.

• Абстрактные типы данных реализуются средствами ЯП как составные типы

Стандартные простые типы данных

Integer, Real, Char, Boolean

Простые типы, определяемые программистом

Перечисляемый тип, Скалярный тип

Структурные типы данных

Регулярный тип, комбинированный тип,

множественный тип, файловый тип, ссылочный тип

Стандартные простые типы данных

В языке Паскаль определены 4 стандартных простых типа данных:

Integer (целый);

Real (вещественный);

Char (символьный).

Boolean (логический);

Для полного описания типа данных, используемых в языке программирования, необходимо знать:

• множество допустимых значений для данных этого типа;

• допустимые операции над данными этого типа;

• функции, определенные на данных этого типа или принимающие значения в этом типе;

• допустимые отношения на данных этого типа.