ГОСТ Р 59791—2021
А.2.3.15 Текст
Текст CLIF — это текстовая конструкция, импорт или ограничение области.
textconstruction = open, ‘cl:text’, { sentence | statement | text}, close ;
prefxdeclaration = open, ‘ckprefx’, (quotedstring - ‘cl’), interpretablename, close ;
commenttext = open, ‘cl-comment’, quotedstring, {prefxdeclaration}, cltext, close ;
text = textconstruction | domainrestriction | importation | commenttext;
cltext = {text};
A.3 Семантика CLIF
Семантика CLIF аналогична семантике абстрактного синтаксиса CL, описанной в 6.2.
П р и м е ч а н и е — Интерпретация любого выражения CLIF определяется записями из таблицы 1. Обозна
чение <Т1 ... Тп> указывает на последовательность терминов в терминах синтаксиса и на последовательность, то
есть элемент Ц*, в терминах семантики. В первом столбце приведены ссылки на строки из таблицы 2.
Т аб л ица А.1— Семантика CLIF
Если Е является выражением в видеТогда 7(E)
=
Е1Десятичное числоНатуральное число, обозначаемое десятичной
цифрой
Е1Строка в кавычках ‘s’Строка символов Юникода, образованная уда
лением внешних одинарных кавычек и заменой
экранированных внутренних подстрок на эквива
ленты из Юникода
Е1, Е2Интерпретируемое имя
7(E) =
intj{
Е)
ЕЗ Последовательность терминов <Т1 ...
Тп>,
кото
рая начинается с термина Т1
7(E) = <1(Т1)>;1(<Т2 ... Тп>]
Е4Последовательность терминов Т1 ...
Тп,
которая
начинается с маркера последовательности Т1
7(E) = ЦТ,); 1(<Т2 ...Т„>]
Е5Термин (О Т1... Тп)
7(E)
=furij
(1(0))(1(<Т1 ...Т„>]
Имя, термин или маркер последовательности (CL:7(E) = ЦТ)
откомментированная «строка» Т)
Е6Уравнение (= Т1Т2)
7(E) = true, если ЦТ.,) = 1(Т2); в противном случае
7(E) = false
Е7Атомарное высказывание (Р Т1 ... Тп)
7(E) = true, если 1(<Т1... Тп>) находится в ге/ДЦР));
в противном случае 7(E) = false
Е8Логическое высказывание (not Р)
7(E) = true, если I(P) = false; в противном случае
7(E) = false
Е9Логическое высказывание (and Р1... Рп)
7(E) = true, если ЦР.,) =...I(Pn) = true; в противном
случае 7(Е)= false
ЕЮЛогическое высказывание (or Р1 ...
Рп)
7(E) = false, если ЦР.,) = ...I(Pn) = false; в против
ном случае 7(E) = true
Е11Логическое высказывание (if Р Q)
7(E) = false, если ЦР) = true и I(Q) = false; в против
ном случае 7(E) = true
30