ГОСТ Р 53556.5—2013
8 Синтаксис и семантика SAOL
8.1 Соотношение с синтаксисом потока битов
Описание синтаксиса потока битов определяет представление инструментов и алгоритмов
SAOL,
ко
торые должны быть предоставленыдекодеру впотоке битов. Однако маркируемое описание, какпредстав
лено там. не достаточно, чтобы описать синтаксис и семантику языка
SAOL.
Чтобы обеспечить создание
потока битов и обмен надежным способом, полезно иметь стандартное удобочитаемое текстовое представ
ление кода
SAOL
в дополнение к маркируемомудвоичному формату.
Грамматика формата
Backus-Naur (BNF)
обозначает язык или бесконечный набор программ. Допусти
мые программы, которые могут быть переданы в потоке битов, ограничиваются этим набором. Любая про
грамма. которая не может быть проанализирована этой грамматикой, не является допустимой программой
SAOL
— у нее есть синтаксическая ошибка — и поток битов является недопустимым потоком. Хотя поток
битовсоставляется из маркеров, грамматика будет описана с точки зрения лексических элементов. Синтак
сические правила, выраженные грамматикой, которые ограничивают набортекстовых программ, также нор
мативно ограничивают синтаксис потока битов через отношение потока битов и текстового формата в нор
мативном процессе маркирования.
Этот подпункт таким образом описывает текстовое представление
SAOL.
котороестандартизируется,
но стоит за пределами отношения декодера потока битов.
Приложение В содержит грамматику для текстового языка
SAOL.
представленного в форматах ’tex’
и узсс\ Используя эти версии грамматики, синтаксические анализаторы могут быть созданы автоматичес
ки. используя инструменты /ох’и
’уасс’.
Эти версии годятся только в информативных целях и используются
в создании декодера.
Нормативный язык синтаксиса в этом подпункте обеспечивает границы синтаксически верных про
грамм
SAOL
и дополнительно, синтаксически верных последовательностей потока битов, которые могут
появиться в классе потока битов
orchestra.
Таким образом есть конструкции, которые допустимы только
после чтения грамматики
BNF.
но отвергаются в нормативном тексте, сопровождающем грамматику.
Состояние таких конструкций являетсясостоянием тех. которые лежат за пределами языка, определенного
одной только грамматикой.
Процесс декодирования для потоков битов, содержащих синтаксически недопустимые программы
SAOL
(то есть, программы
SAOL.
которые не соответствуют грамматике
BNF.
или содержат синтаксические
ошибки или ошибки несоответствия уровня), является необусловленным.
Нормативная в отношении языка семантика в этом подпункте описывает семантические границы по
ведениядекодера структурированного аудио. Определенные конструкции описывают ‘ошибочные по вре
мени выполнения* ситуации. Поведениедекодера при такихобстоятельствах не нормировано, но реализа
ции позволяют корректно восстановиться из таких ситуаций и продолжатьдекодирование.
8.2 Локсические элементы
8.2.1 Понятия
Текстовый оркестр
SAOL
содержит знаки препинания, которые синтаксически снимают неоднознач
ность оркестра, идентификаторы, которые обозначают символы оркестра, числа, которые обозначают по
стоянные величины, строковые константы, которые в настоящий момент не используются, комментарии,
которыедопускает внутренняя документация оркестра и пробел, который лексически разделяет различные
текстовые элементы. Эти элементы не появляются в потоке битов так. как каждый представляется там
маркером.
8.2.2 Идентификаторы
Идентификатор является серией одной или более букв, цифр и подчеркиваний, которая начинается с
буквы или подчеркивания. Он обозначает символ оркестра. Идентификаторы являются чувствительными к
регистру, что означает, что идентификаторы, которые отличаются регистром только одного или более симво
лов. обозначают различные символы.
Строка символов, эквивалентная одному из зарезервированных слов, перечисленных в 8.9, одному
из стандартных имен перечисленных в 8.6.8. имени одного из базовых кодов операции перечисленных в
9.3. или имени одного из базовых генераторов звуковой таблицы, перечисленных в 10. не обозначает
сим вол. а обозначает что зарезервировано слово, стандартное имя. код операции, или генератор
звуковой таблицы.
Идентификатор обозначается в грамматике
BNF
терминальным символом
<ident>.
13