ГОСТ Р 59791—2021
Поскольку предикат отношения CL или оператор функции CL могут быть функциональным термином, для
перевода предиката или оператора в концепт следует использовать ту же процедуру. Пусть ((F Х1 Х2) Y1 Y2) — это
атомарное высказывание CLIF, предикат которого является тем же функциональным термином, что и в преды
дущем примере. Следовательно, связанная метка «?д00592», которая представляет значение функции, должна
быть меткой типа соответствующего концептуального отношения. Если и Y1, и Y2 связаны кванторами в CL, кон
цептуальное отношение должно иметь вид (#?g00592 ?Y1 7Y2). Чтобы сгенерировать отдельную синтаксическую
единицу в качестве значения
с12сд,
данное концептуальное отношение следует поместить внутрь концепта, пред
ставляющего собой функциональный термин, непосредственно перед «]»: [*g00592 (F Х1 Х2 | ?д00592) (#?д00592
?Y1 7Y2)]. Этот концепт должен представлять собой результат применения
с12сд
к исходному атомарному выска
зыванию. Он может иметь вид узла концептуального графа, который является результатом перевода большего
высказывания CL, содержащего исходное атомарное высказывание.
Для каждого выражения CL Е в таблице Б.1 указано выражение в расширенном формате CGIF, которое опре
деляет с/2сд(Е). Чтобы ограничения CL для области применения квантора сохранились в переводах с помощью
с12сд,
переводы выражений типа Е13 и Е14 заключаются в контекстные скобки «[» и «]». В некоторых случаях не
обходимость в этих скобках отсутствует, поэтому их можно игнорировать.
В первом столбце таблицы Б.1 приведены ссылки на строки в таблице 2. Во втором столбце используются
метаязык и соглашения, на основании которых был определен абстрактный синтаксис CL. В третьем столбце этот
метаязык объединяется с обозначением, используемым в правилах перезаписи в Б.1.4.2. Это дает возможность
определить функцию
cg2cl,
которая переводит любое высказывание s из основного формата CGIF в логически
эквивалентное высказывание
cg2cl(x)
на CL.
Т аб л ица Б.1 — Сопоставление абстрактного синтаксиса CL с синтаксисом расширенного формата CGIF
Пока
затель
Е
Если Е является выражением CL в видеТогда
с12сд{
)
=
EI
Цифра «л»Цифра «п»
EIСтрока в кавычках «э»
Строка в кавычках «э»
EIИнтерпретируемое имя «п»
Если имя «п» не является идентификатором CG, оно
должно быть заключено в кавычки. Если оно нахо
дится в кванторе некоторого высказывания CL, перед
ним должен стоять префикс «*». Если оно связано с
квантором, перед ним должен стоять префикс «7»
Е2Маркер последовательности S
S
ЕЗ Последовательность терминов <Т1 ... Тп>, ко
торая начинается с термина Т1
Последовательность дуг: с/2сд(Т1) ... c/2cg(Tn)
Е4Последовательность терминов Т1 ... Тл, кото
рая начинается с маркера последовательно
сти Т1
Последовательность дуг:
cl2cg(
Т2), ..., c/2cg(Tn),
с/2сд(Т 1)
Е5Термин (О Н ... Тп) Концепт со сгенерированным именем «п», содержа
щий вложенный действующий субъект: "[", "*", ‘п’,
с12сд(
О), с/2сд(Т1, ... Тп),")", "1”,’гГ,")","]"
Термин (CL: прокомментированная «строка»Дуга с комментарием: 7*", ‘string’, "*/", сд2с/(Т)
Т)
Е6Уравнение (= Т1 Т2)CG, состоящий из одного, двух или трех концептов.
Если Т1 и Т2 являются именами, используется один
к о н ц е п т : cl2cg(T1), с!2сд(Т2),"]"
Если Т1 и Т2 являются функциональными терминами,
используется три концепта: cg2cl(T1), cg2cl(T2), "[",
"7", ‘пГ, "7", 1п2’, "]", где «п1» — это имя, созданное
для Т1, а «п2» — имя, созданное для Т2
Если Ti — функциональный термин (где i = 1 или i = 2),
а другой термин Tj — имя, используется два концепта:
cl2cg(Ti), "[", "7", ‘ni’, cl2cg(Tj), "]", где «ni» — это имя,
созданное для Ti
48