Ординальный тип

Типы данных

Специальные символы

Лексемы

Алфавит и лексическая структура

Язык Паскаль

Синтаксические диаграммы

Металингвистическая форма Бекуса-Наура

Способы описания синтаксиса языка Паскаль

Цикл с параметром

Конец.

Повторять

x:=(a+b)/2;

y:=f(x);

если y>0 то a:=x

иначе b:=x

до |y|<E

вывод (х);

дляповторять действие А

для x:=х_нач до х_кон повторять действие А

Пример. Вычислить сумму элементов гармоничного ряда

ввод(N);

S:=0;

Для i:=1 до N повторять S:=S+1/N;

вывод(S);

ЛЕКЦИЯ №6

<A>::=x

‘A‘ – название определителя синтаксиса конструкции

‘Х’ – последовательность символов языка, представляющих конструкцию

‘::’ – знак «есть по определению

Дополнительные знаки:

«|» - обозначает «или»

{<x>} – повторение конструкции х

[<x>] – конструкция может быть пропущена

Пример:

<цифра>::=0|1|2|3|4|5|6|7|8|9

<двоичная цифра>::=0|1

<двоичный код>::=<двоичная цифра>|<двоичный код>< двоичная цифра >

<двоичный код>::< двоичная цифра >{< двоичная цифра >}

Синтаксические конструкции, изображающиеся с помощью графических схем

На синтаксической диаграмме применяют следующие графические элементы

1) линии

2) Основные символы

3) Определяющие понятия языка

Примеры.

<основные символы>::=<буквы>|<цифры>|<специальные символы>|<разделители>

<буквы>::= A|B|C|…|Z|a|b|c|…|_|

<цифры>:: = 0|1|2|3|4|5|6|7|8|9

<специальные символы>::=+|-|*|/|=|<>|<|<=|>|>=|,|.|:|;|:=|..|^|()|[ ]

<разделители>::=<пробельные символы>|<комментарии>

<пробельные символы>::=<Enter>|<пробел>|<Tab>

Комментарий – любая последовательность знаков, заключенная в фигурные скобки или ограниченная символами (*...*) {...}

Лексема – минимальная единица языка, имеющая самостоятельный смысл.\

2. Служебные символы: and, array, begin, file, record, until etc.

3. Идентификаторы:

<идентификатор>::=<буква>{<буква>|<цифра>}

4. Стандартные имена: read, write, real, sin, cos, integer, real etc.

5. Числа, строки, метки, директивы:

102,49; 22E+07, ‘Язык Паскаль’, ‘forward’

Тип данных определяет:

ü Множество допустимых значений, которые может принимать переменная или константа

ü Множество допустимых операция

ü Способы хранения данных

Ординальный тип – конечное упорядоченное множество значений. Эти значения отображаются на последовательности порядковых номеров (0;1;2…). Мы всегда можем узнать следующее и предыдущее по порядку значение.

Функции применяемые к ординальным типам.

succ(x) – возвращает следующее по порядку значение

pred(x) – возвращает предыдущее по порядку значение

ord(x) – возвращает порядковый (ординальный) номер значения

Для всех ординальных типов существуют следующие операции отношения:

>, <, =, >=, <=, <>

Результат операции определяется с помощью ординальных номеров.

ЛЕКЦИЯ №7

Дата добавления: 2014-01-07