Метаязык для описания синтаксиса и процедур

Основные элементы. Определения синтаксиса ЯЧМ выполняются с помощью синтаксических диаграмм (СД). СД состоит из ТЕРМИ­НАЛЬНЫХ (конечных) и НЕТЕРМИНАЛЬНЫХ (промежуточных) сим­волических блоков, соединяемых направленными линиями следова­ния. Могут использоваться символы пояснения для введения коммен­тариев. Синтаксис языка может определяться серией СД. Каждой СД соответствует свой нетерминальный символ. СД используются для спецификации синтаксиса ввода, вывода и описания процедур диало­га «человек-машина».

ТЕРМИНАЛЬНЫЕ символы - это символы или последовательно­сти символов, которые появляются (на мониторе или на принтере) при вводе и выводе.

НЕТЕРМИНАЛЬНЫЙ символ не появляется непосредственно при вводе или выводе, с помощью этого символа в данной СД именуют другую синтаксическую диаграмму. С помощью нетерминальных сим­волов можно существенно сократить СД, описывающие сложные син­таксические конструкции. Ниже будут приведены примеры таких кон­струкций.

СИМВОЛ ПОЯСНЕНИЯ: - - - - -[ n, где n - номер ссылки на описа­тельный или пояснительный текст. Текст пояснения помещают под диаграммой.

Правила:

1. Любой символ (терминальный или нетерминальный) и любая СД должны иметь одну (и только одну) входящую и одну исходящую линии следования.

2. Символ переноса части СД отсутствует, вся СД должна поме­щаться на одной странице.

3. Линии следования, соединяющие символы СД, должны быть на­правлены слева направо; предпочтительное направление для ли­ний следования, определяющих выбор при альтернативе, - вниз; линии следования, указывающие петли (повторения), должны быть направлены против часовой стрелки.

4. Стрелки на линиях следования ставят всякий раз для того, чтобы сделать СД более ясной; стрелки нужны также в тех случаях, ко­гда сходятся две линии следования или линия подходит к контуру символа.

5. Терминальные и нетерминальные символы.

Название нетерминального символа должно быть написано строч­ными буквами; нетерминальные символы, порождаемые ма­шиной, обводятся двойной прямоугольной рамкой.

6. Пояснения- - - - -[ n - символ пояснения; текст пояснения с номе­ром nдолжен помещаться в самой нижней части СД.

Требования к входному языку - языку команд Команда (директива). Определяется кодом, который однозначно называет требуемую для исполнения функцию. Эта функция должна быть выполнена МАШИНОЙ. После кода команды может следовать параметрическая часть, если требуется дополнительная информа­ция. ПАРАМЕТРИЧЕСКАЯ часть команды может состоять из одного или нескольких блоков параметров и должна отделяться от кода ко манды двоеточием (:). Команда (рис. П1.2) должна заканчиваться инди­катором точка с запятой (;).

Рис. П1.2. Команда (директива) ЯЧМ

Код команды. Это идентификатор в форме мнемонической аб­бревиатуры (сокращенного обозначения) соответствующей функции. Мнемоника - символ или группа символов - основывается на ассо­циации с сущностью объекта, в данном случае с сущностью команды.

Код команды предпочтительно должен состоять из букв. Для удоб­ства пользователя все команды одной области применения должны содержать одинаковое число символов.

Блок параметров. Все параметры одного блока должны относиться к одному типу. Различают два больших типа параметров: а) определяе­мые именем параметра (именные); б) позиционно-определяемые.

Блок параметров содержит информацию, используемую при вы­полнении определенной команды. Если блок параметров содержит более одного параметра, то они разделяются запятой.

Параметры:

1. Параметры, определяемые именем параметра. Параметры такого типа могут следовать в блоке в произвольном порядке, так как ка­ждый снабжен именем. В «именном» параметре имя отделяется от значения параметра разделительным знаком равно (=).

2. Позиционно-определяемые параметры. Позиционно-определяе-мый параметр состоит из значения параметра и должен занимать строго определенное место в блоке параметров. Такому па­раметру может предшествовать имя, отделяемое от значения зна­ком =, как и в именном параметре. Некоторые позиционно-определяемые параметры могут опускаться в данном блоке, в этом случае должно быть указано их место, например:

XY: 33,„55, S = 01;

В этой команде (директиве) XY: - код команды и разделитель;, 33 и 55 - позиционные параметры без имени; S = 01 - именной пара­метр и его значение; два опущенных (по умолчанию) позиционных параметра (между запятыми) обычно имеют нулевые значения.

3. Имя параметра. Является идентификатором. Оно указывает на вид и структуру следующего за ним значения параметра, т.е. обес­печивает интерпретацию параметра.

4. Значение параметра. Состоит из одного или нескольких аргумен­тов параметра, информация в каждом из которых однозначно оп­ределяет некоторый объект или значение.

5. Аргумент параметра. Значение параметра может характеризовать­ся аргументом. Аргумент параметра состоит из одного или не­скольких элементов информации, которые отделяются дефисом или одним из знаков - &, &&.

6. Элемент информации. С точки зрения синтаксиса ЯЧМ элемент информации является элементарной единицей языка. Элемент информации может выражаться различным образом: а) десятич­ным числом; б) числом в любой другой системе счисления (двоич­ной, восьмеричной, шестнадцатиричной и др.); в) идентификато­ром; г) символическим именем.

7. Основные элементы.

7.1. Идентификатор. Буквенно-цифровая или буквенная последо­вательность, обязательно начинающаяся с буквы, например SD, CP2.

7.2. Символическое имя. Последовательность из одного или бо­лее знаков, содержащая буквы и (или) цифры, и (или) гра­фические знаки +, #, %. Примеры символических имен: 31Н, + 545678, #3.

7.3. Недесятичные числа. Определяется как комбинация знаков, перед которой указывается тип числа, например: а) Н' 17А - обозначение шестнадцатиричных чисел; б) О' 203 - восьме­ричных чисел; в) В' 1001 -двоичных чисел.

7.4. Разделитель и разделительная последовательность. Знак, используемый для разделения частей информации при вводе команд или выводе сообщений из УСЭ. Разделитель может иметь семантическое или структурное значение. Раздели­тельная последовательность имеет такое же назначение.

7.5. Индикатор. Знак, вводимый человеком или выводимый маши­ной для указания состояния или запроса. Примеры индикато­ров: а) > индикатор готовности ЭВМ принимать информацию от человека; б); индикатор конца команды, введенной чело­веком; в) *,? индикаторы, используемые в процедурах.

7.6. Знак спецификации формата (ЗСФ). Используется для со­ставления форматов ввода и вывода. При вводе команды че­ловеком он не имеет значения по отношению к команде. При выводе сообщений из ЭВМ он завершает основной компонент синтаксиса вывода. Примеры ЗСФ: SP, LF, CR.

Дата добавления: 2015-07-20