Металингвистические формулы Бэкуса  Науэра

Метод описания синтаксиса с помощью формул Бэкуса  Науэразаключается в использовании специальных обозначений :

::=читается: «по определению есть»;

 ( вертикальная черта) выбор, альтернатива;

{ }(фигурные скобки)возможность повторения, что соответствует замкнутому циклу в синтаксических диаграммах;

[ ](квадратные скобки)необязательная часть синтаксической конструкции;

(....)(круглые скобки с вертикальной чертой)альтернатива внутри определения;

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

На языке формул Бэкуса  Науэра (ЯБНФ) определение идентификатора имеет вид <буква>{<буква><цифра>}

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

Идентификатор имя программного объекта. Программными объектами являются программы, переменные, константы, процедуры, функции, типы и метки. Каждый идентификатор является либо стандартным, либо определяемым программистом. Стандартныеэто встроенные в язык идентификаторы и идентификаторы, описанные в библиотеках Паскаля. Смысл этих идентификаторов уже определен. Например, integerимя целого типа, readимя процедуры ввода,cosимя функции, возвращающей косинус своего аргумента.

5.4. Структура программы на Паскале

Раздел описаний вместе с разделом операторов называют блоком.

Заголовок

Идентификатор после ключевого слова program имя программы. В стандартном Паскале заголовок обязателен, а также обязателен список идентификаторов в круглых скобках.

Раздел описаний

Все программные объекты, которые вводятся в рассмотрение программистом, должны быть описаны в разделе описаний. Нельзя использовать программный объект до его описания. В стандартном Паскале программные объекты должны описываться в следующей последовательности: метки, константы, типы, переменные, подпрограммы. В ТР они могут описываться в произвольном порядке. Правила описаний для каждого вида программных объектов будут рассмотрены ниже.

Раздел операторов

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

6. Данные

Информация, предназначенная для передачи и обработки, хранится в формализованном виде в виде данных. Например, в памяти ЭВМ данные представляют собой последовательности из 0 и 1 (битов). Для удобства обработки данных биты объединяют в байты (8 битов составляют 1 байт), а байты в слова. Данные могут бытьпеременнымииликонстантами. Конечная цель обработки данныхполучение новой информации. Одну и ту же последовательность битов можно интерпретировать и обрабатывать по-разному. Например, байт 01000001 можно рассматривать и как символ ‘A’, и как целое число 65. Для правильной интерпретации и обработки тех или иных данных вводится понятие типа данных.