С. 12 ГОСТ 34.973-91
последовательностей, определенных с помощью продукции в на
стоящем стандарте.
Совокупность-вариант состоит из всех последовательностей, по
лучаемых выбором произвольной последовательности (или элемен
та) из совокупности, определяемой первым именем, за которой по
мещается произвольная последовательность (или элемент) из со
вокупности, определяемой вторым именем, за которой в свою
очередь помещается произвольная последовательность (или эле
мент) нз совокупности, определяемой третьим именем, и так да лее,
вплоть до последнего имени, заданного для данного варианта.
53. П р и м е р п р о д у к ц и и
Змаченне-СтрокаБнтов : : —b-строка 1
h-строка 1
(Список-Идентификаторов)
Приведенная выше запись является примером продукции, кото
рая связывает имя Значение-СтрокаБитов со следующими последо
вательностями:
а) произвольным элементом «Ь-строка»;
б) произвольным элементом «h-строка»;
в) произвольной последовательностью из совокупности с име
нем «Список-Идентификаторов», перед которой следует знак «{» и
за которой следует знак «}*.
Прим е чание . Знаки «{» и «}» язляются именами элементов, состоящими
из одного знака, соответственно «(» и *}».
«Список-Идентификаторов» в данном примере должен быть оп
ределен другой продукцией, которая может быть приведена как
до. так и после продукции «Значение-СтрокаБитов».
5.4. Р а с п о л о ж е н и е текста
Каждая продукция, используемая в настоящем стандарте, пред
варяется пустой строкой; за продукцией также следует пустая стро
ка. Внутри продукции пустые строки отсутствуют. Продукция мо
жет либо состоять из одной строки, либо быть разбитой на не
сколько строк. Расположению текста продукции не придается ка
кого-либо значения.
5.5. Рекурсия
Продукции, используемые в настоящем стандарте, часто явля
ются рекурсивными. Рекурсивные продукции применяются неогра
ниченное число раз до тех пор, пока не будут исчерпаны все порож
даемые ими последовательности.
Прим е ча ние . Во многих случаях такое повторное применение продукции
приводит к неограниченной совокупности разрешенных последовательностей, не
которые нз которых сами могут быть неограниченными. Это не язляется ошиб-коП