ГОСТ Р 59791—2021
Окончание таблицы 2
Е16Нерегулярное высказывание S
/(Е) =
intj
(S)
Е17Утверждение вне дискурса outDiscourse(T1...Тп)
7(E) = true, если I (Т,) £ UD; U UDy* для 0 < i < п;
в противном случае 7(E) = false
Е18Утверждение в дискурсе inDiscourse(T1 ... Тп)
7(E) = true, если I (ф) е UDy U UDy * для 0 < i < n;
в противном случае 7(E) = false
Е19Текстовая конструкция txt(E1 ... Еп)
7(E) = true, если 7(Е.,) = ... = 7(ЕЛ) = true; в против
ном случае 7(E) = false
Е20Ограничение области domain(N,G)7(E) = true, если присутствует интерпретация
J = [1<{х||х|е rell/( I(N))}] и J(G) = true; в противном
случае 7(E) = false
Е21 Заголовок текста (Е1, G), где G — текст в смысле
абстрактного синтаксиса.
7(E) = true, если ttll(E1) = G; в противном случае
1(E) =
false
Е22Утверждение импорта imports(EI)
7(E) = true
Это основные логико-семантические условия, которым должны удовлетворять все совместимые
диалекты. Для текстов, в которых встречаются интерпретируемые имена, действуют дополнительные
ограничения на интерпретацию (см. 6.3). Диалект может налагать дополнительные семантические огра
ничения помимо указанных.
Семантическое расширение, которое ограничивает интерпретации CL в соответствии с соглаше
ниями о наименованиях, например соглашениями об идентификации сети, называют внешним. Внеш
ние семантические ограничения могут иметь отношение к соглашениям или структурам, определенным
вне теории модели.
В таблице 2 не описана интерпретация комментариев. Интерпретация выражения с прикреплен
ным комментарием аналогична интерпретации соответствующего выражения без комментария. Таким
образом, добавление и удаление комментариев не затрагивает истинность любого текста CL. Тем не
менее комментарии являются частью формального синтаксиса, поэтому приложения должны сохра
нять их при передаче, редактировании и повторной публикации текстов CL. В частности, считают, что
имя, используемое в заголовке текста CL, сопоставляется с выражением абстрактного синтаксиса, по
этому при использовании того же имени в том же корпусе в качестве заголовка текста, который анали
зируют с помощью другого абстрактного выражения синтаксиса, данный корпус будет невыполнимым
(см. 6.4), даже если тексты, за исключением комментариев, идентичны.
Заголовки не должны абсолютно точно соответствовать документам, файлам и другим единицам
хранения данных. Диалекты и имплементации могут предусматривать распределение текстов по бло
кам хранения или хранение нескольких текстов с именами в одном блоке. Соглашения о заголовках в
тексте могут быть связаны с соглашениями об адресации, используемыми для блоков данных, но это
условие не является обязательным. Тексты также можно идентифицировать на основании внешних со
глашений об именах, например путем кодирования текста в документах или файлах, имеющих сетевые
идентификаторы. Семантика CL, описанная в 6.2, должна применяться ко всем идентификаторам сети,
используемым в качестве заголовков в той сети, где публикуют или передают тексты CL.
6.3 Типы данных
Тип данных — это сопоставление лексического пространства (которое может быть явно представ
лено в синтаксисе) с пространством значений (которое является произвольным). В абстрактном син
таксисе элементы лексического пространства типа данных являются интерпретированными именами.
Семантика типов данных в CL зависит от описанных ниже условий:
- денотат интерпретированных имен одинаков во всех интерпретациях;
- денотаты интерпретированных имен типов данных по умолчанию определены явным образом;
- денотаты интерпретированных имен стандартизованных типов данных должны быть определе
ны соответствующим стандартом (например, XSD);
- для типов данных, определяемых пользователем, денотаты должны быть указаны посредством
явной аксиоматизации или определения на математическом языке либо с помощью механизмов для
18