ГОСТ Р 59791—2021
Окончание таблицы Б.1
Пока
затель
Если Е является выражением CL в виде
Тогда
с12сд{
Е)
=
Е7
Атомарное высказывание (Р Т1 ... Тп)
CG, состоящий из концептуального отношения или
концепта
Если Р — имя, используется концептуальное отноше
ние: "(", с12сд(Р), с12сд(Т1 ...Тп),")"
Если Р — функциональный термин, используется кон
цепт: с12сд(Р), в который перед закрывающей скобкой
«]» вставлено следующее концептуальное отноше
ние: "(", ‘n’, с12сд(Т1 ... Тп), ")", где "п" — это имя, соз
данное для cl2cg(P)
Е8Логическое высказывание (not Р)
О т р и ц а н и е : "[", с12сд(Р),"]"
Е9Логическое высказывание (and Р1 ... Рп)
Концептуальный граф: c12cg(Pi), ..., c!2cg{Vn)
ЕЮЛогическое высказывание (or Р1 ... Рп)
Концептуальный граф: "[", "Either", "[", "Or", cl2cg[?l),
Т
.....
Т.
cl2cgtPn),"]",
У
EIIЛогическое высказывание (if Р Q) Концептуальный граф: "[", "If, cl2cg(P),"Then",
cl2cg(Q),"]","]"
Е12Логическое высказывание (iff Р Q) Концептуальный граф:"[", " E q u i v " , "[", "Iff", cl2cg(P),
"]","[", “Iff", cl2cgm"]","]"
Высказывание(CL:прокомментированная
«строка» Т)
Комментарий и концептуальный граф:‘string’, "*/",
cl2cg(P)
Е13Количественное высказывание (forall (N1...Концептуальный граф: "[", "[", "@every", "*", cl2cg(NT\,
Nn) В), где переменные от N1 до Nn — это име"]", ..., у , "@ every",cl2cg(Nn),"]", cl2cg(B),"]"
на или маркеры последовательности
Е14Количественное высказывание (exists (N1...Концептуальный граф: "[", "[", "*", cl2cg(NV), "]", ..., "[",
Nn) В), где переменные от N1 до Nn — это име cl2cg(Nn),"]", d2cg{B\"]"
на или маркеры последовательности
Заявление (cl: comment “string”)Комментарий:‘string’, "*/"
Е17Заявление (cl: imports N)
Концепт:"[", "cg_lmports", cl2cg(N),"]"
Е18Модуль с именем N, список исключений N1 ...
Nn и текст Т
Если M — это перевод в основной формат CL, указан
ный в п. А.З, используется текст: "[", "Proposition",
cl2cg(M),"]"
ЕЮЗаявление (cl: text Т1 ...Тп)
Текст:"[", "Proposition", cl2cg(T1 ... Тп),"]"
Е20(cl: text N Т1 ...Тп)Текст: “[“, “Proposition”,cl2cg(N), cg2cl(T1 ... Тп),"]"
Для перевода из расширенного формата CGIF в основной в Б.З используется комбинация синтаксических
правил EBNF, а также правила перезаписи, указанные в Б.1.4.2 для определения функции ех2сог, которая пере
водит все высказывания s из расширенного формата CGIF в логически эквивалентные высказывания CG(s) в ос
новном формате CGIF.
49