ГОСТ Р 59791—2021
Б.2 Основной синтаксис и семантика CG
Б.2.1 Действующий субъект
Определение: концептуальное отношение
ac=(r,s),
в котором гдолжна выступать в роли ссылки под названи
ем «метка» типа
ас
и последовательности дуги s=s1,s2 и должна состоять из последовательности дуг s.,,
входных
дуг,
и отдельной дуги s2, выходной дуги.
CL:
cg2cl{ac)
должно быть уравнением eg: первый термин eg — это имя
cg2cl(s2),
второй терм eg — функци
ональный термин с оператором
cg2cl(r)
и последовательностью терминов
cg2cl(s
.,) с необязательным маркером
последовательности
sqn.
CGIF:
actor =[comment], [ “#”,CGname, arcSequence,arc,
[endComment],
Как и другие концептуальные отношения, узел действующего субъекта заключен в круглые скобки. Символ #
должен обозначать связанную метку кореферентности, которая используется в качестве метки типа.
Комментарий: хотя действующий субъект определяется как частный случай концептуального отношения,
основной синтаксис CG позволяет связать его только с одной выходной дугой, чтобы субъекта можно было сопо
ставить с функцией CL. В конце входных дуг могут находиться маркеры последовательности, но в выходных дугах
использовать такие маркеры запрещено. Синтаксис расширенного формата CGIF позволяет участникам иметь
любое количество выходных дуг.
Б.2.2 Дуга
Определение: ссылка
аг,
которая встречается в последовательности дуг определенного концептуального
отношения.
CL:
cg2cl(ar)
должна быть именем
п
без маркера ссылки
аг.
CGIF:
arc = [comment], reference;
Комментарий: функция
cg2cl
сопоставляет дугу с именем ссылки и пропускает все маркеры, которые выде
ляют связанную метку.
Б.2.3 arcSequence
Определение: пара
as=(s,sqn),
состоящая из последовательности s нуля или большего количества дуг, за
которой следует необязательный маркер последовательности
sqn.
CL:
cg2cl(as)
должна быть последовательностью терминов
ts=cg2cl(s)
и маркером последовательности
sqn,
если он присутствует в
as.
Последовательность терминов
ts
должен иметь вид map(cg2c/,s), где
тар
— это функ
ция, которая применяет
cg2cl
к каждой дуге последовательности, чтобы извлечь имя, которое становится соответ
ствующим элементом последовательности
ts.
CGIF:
arcSequence = {arc}, [[comment],seqmark];
Любой маркер последовательности в последовательности дуги
as
должен быть идентичен маркеру последо
вательности в определенной концепции существования, которая непосредственно содержится в контексте с дей
ствующим субъектом или концептуальным отношением, в качестве которого указана последовательность дуги
as.
Комментарий: Возможность наличия маркера последовательности в последовательности дуг подразумевает,
что концептуальное отношение может иметь разное количество дуг.
Б.2.4 Комментарий
Определение: строка
cm,
которая не должна влиять на семантику любого выражения х CGIF, в котором при
сутствует s.
CL:
cg2cl(cm)
должна быть подстрокой
seem
без разделителей «/*» и «*/» комментария или начального сим
вола «;» в конечном комментарии. Строка s должна быть включена в представление CL для комментария, а также
должна быть связана с синтаксическим выражением CL, в которое переводится выражение х CGIF.
Синтаксиче ские правила для комментария и конечного комментария в основном и расширенном форматах CGIF
идентичны.
CGIF:
comment =
"Г,
{(character-"*") | [ "*", (character-"/")]}, [ "*"], "*/";
endComment ={character - ("]" 1 ")")};
Строка с разделителями «/*» и «*/», не должна содержать подстроки «*/». Строка конечного комментария
может содержать любое количество символов «;», но не может содержать «]» и «)».
Комментарий: комментарий может находиться непосредственно после открывающей скобки любого концеп
та, действующего субъекта или концептуального отношения, непосредственно перед любой дугой или в произволь
ном порядке вместе с концепциями и концептуальными отношениями любого концептуального графа. Конечный
комментарий может находиться непосредственно перед закрывающей скобкой любого концепта или перед закры
вающей круглой скобкой любого концептуального отношения или действующего субъекта. Поскольку синтаксис
комментариев в основном и расширенном форматах CGIF идентичен, дополнительные синтаксические правила
для комментариев в Б.З не требуются.
39