ГОСТ Р 59791—2021
А.2.3.2 Имя
Имя — это любой лексический токен, который рассматривают как обозначение элемента. Имена, которые
имеют фиксированное значение, отличаются от имен, значение которых определяется интерпретацией.
termseq = { term | seqmark };
cseqmark = seqmark | ( open, ‘ckcomment’, quotedstring , seqmark , close );
interpretedname = numeral | quotedstring | ( open, ‘ckcomment’, quotedstring , (numeral |
quotedstring), close );
interpretablename = namecharsequence | enclosedname |( open, ‘ckcomment’, quotedstring ,
interpretablename , close );
name = interpretedname | interpretablename ;
A.2.3.3 Термин
Имена считаются терминами, а функциональный термин состоит из оператора, который сам по себе являет
ся термином, и вектора аргументов. С терминами также могут быть связаны комментарии, представленные в виде
строки в кавычках (это необходимо для использования текста, который в противном случае нарушил бы лексика-
лизацию). Оболочки комментариев синтаксически выделяют термин, который комментируют.
term = name | ( open, operator, termseq, close ) | ( open, ‘clicomment’, quotedstring ,
term, close );
operator = term ;
A.2.3.4 Уравнение
Уравнения выделены в особую категорию из-за своей особой семантической роли и особой процедуры об
работки во многих приложениях. Знак равенства не является именем.
equation = open,term, term, close ;
A.2.3.5 Высказывание
Как и термины, высказывания могут иметь выделяющие комментарии. Обратите внимание, что комментарии
могут относиться к высказываниям, которые являются частями более крупных высказываний.
sentence = atomsent | boolsent | quantsent | commentsent;
А.2.3.6 Атомарная последовательность
Атомарные высказывания похожи по структуре на термины, но их аргументы могут быть представлены с
помощью пар ролей, состоящих из имени роли и термина. Уравнения считаются атомарными высказываниями, а
атомарное высказывание может быть представлено с помощью ролевых пар, состоящих из имени роли и термина.
atomsent = equation | atom ;
simple_sentence = ( open, predicate , termseq, close );
predicate = term ;
A.2.3.7 Логическое высказывание
Логические высказывания требуют, чтобы импликация и двойная импликация были двоичными, но разреша
ют конъюнкции и дизъюнкции иметь любое количество аргументов, включая ноль. Высказывания (and) и (or) могут
использоваться как значения true и false соответственно.
28