ГОСТ Р ИСО/М ЭК 8824-1-2001
47.8 Примеры
47.8.1 П р и м е р I
А :: = SET {
а А.
b CHOICE {
с С,
d D,
)
Это допустимо потому, что нет двусмысленности, так как любой добавляемый материал дол
жен быть частью "Ь".
47.8.2 П р и м е р 2
Л : : = SET {
а А.
b CHOICE {
с С.
d D,
е Е
}
Это недопустимо потому, что добавление может быть частью "Ь" или быть на внешнем уровне
"Л", и система версии I не сможет решить, где оно находится.
47.8.3 П р и м е р 3
А :: = SET {
а Л,
b CHOICE {
с С,
)•
d CHOICE |
е Е
J
)
Это недопустимо потому, что добавление может быть частью "Ь” или ”d“.
47.8.4 Могут быть построены и более сложные примеры с расширяемыми выборами в расши
ряемых выборах или с расширяемыми выборами в элементах последовательности, помеченных как
OPTIONAL или DEFAULT, но приведенные выше правила необходимы и достаточны, чтобы га
рантировать. что элемент, отсутствующий в версии 1. может быть недвусмысленно приписан сис
темой версии I к ровно одной точке вставки.
48 Элементы подтипа
48.1 Общие положения
Для “SubtypeElements” обеспечивается ряд различных форм нотации. Они идентифицированы
ниже, а их синтаксис и семантика определяются в последующих пунктах. В таблице 6 приведена
сводка того, какие нотации к каким порождающим типам могут применяться.
60