Табл. П1.1. Международный алфавит № 5 ITU-T

5.4. Неспецифицированные знаки: !, подстрочная черта [ ],$, аннулирование [CAN], кавычки [ ].

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

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

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

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

г-----л

I I

или (с )) = ТЕРМИНАЛЬНЫЕ СИМВОЛЫ ПОРОЖДАЕМЫЕ МАШИНОЙ

= ТЕРМИНАЛЬНЫЕ СИМВОЛЫ

= СОЧЕТАНИЕ СИМВОЛОВ ВВОДА И ВЫВОДА

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

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

Правила:

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

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

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

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

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

ИЛИ о = ТЕРМИНАЛЬНЫЕ СИМВОЛЫ

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

манды двоеточием (:). Команда (рис. П1.2) должна заканчиваться индикатором точка с запятой (;).

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

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

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

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

Параметры:

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

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

Х):33 , 55,S=01;

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

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

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

Код команды : [ Блок параметров ;