ГОСТ Р 59791—2021
Рисунок 8 — Абстрактный синтаксис количественного высказывания
6.1.2.4 Утверждения
Класс утверждений в языке CL — это класс Statement, полученный в результате рекурсивного при
менения операций
outDiscourse, inDiscourse
и
title
в следующих условиях:
-
outDiscourse-. TermSequence
—>
DiscourseStatement;
- inDiscourse-.TermSequence
—>
DiscourseStatement;
-
title
:Ttl x
Text
—>
Titling.
Дискурсивные утверждения и заголовки — это высказывания:
-
Statement = DiscourseStatement
и
Titling.
6.1.2.5 Тексты
►
Класс текстов в языке CL — это класс Text, полученный в результате рекурсивного применения
набора операций
txt, imports
и
domain
в следующих условиях:
-
txt:[Sentence
и
Statement
и
Text)
х ...
x(Sentence
и
Statement
и
Text)
—>
TextConstruction;
- imports’.
Ttl —
Importation;
- domaimTerm
x
Text
—>
DomainRestriction.
Текстовые конструкции, ограничения области и импорты — это тексты:
-
Text
=
TextConstruction
и
DomainRestriction
и
Importation.
13