ГОСТ Р 59791—2021
Любой диалект CL может включать синтаксическую конструкцию для использования внешней пре
суппозиции дискурса в качестве предполагаемого режима следования текста.
7.2 Совместимость приложения
«Приложение» — это любая часть вычислительного оборудования (программного обеспечения,
оборудования или сети), которая выполняет любые операции с текстом CL (даже очень тривиальные,
например его сохранение для последующей повторной передачи).
Совместимость приложений определяют относительно набора диалектов, называемого набором
совместимости. Приложения, которые совместимы с диалектом XCL, можно назвать «совместимыми»
без каких-либо оговорок.
Все совместимые приложения должны быть способны обрабатывать все допустимые надписи
диалектов в наборе совместимости. Приложения, которые вводят, выводят или передают текст CL,
даже если они встроены в текст, обрабатываемый с использованием других текстовых соглашений,
должны быть способны обрабатывать любой текст CL. Они должны выводить или передавать точные
копии введенной надписи без искажения текста.
Приложения, которые обнаруживают следственные отношения между текстами CL в наборе со
ответствия, являются правильными, если при обнаружении приложением следования Т из S в любых
текстах Т и S на диалектах в наборе совместимости такое S, в соответствии с CL, подразумевает Т [то
есть для любой интерпретации / в CL, если /(S) = true, то /(Т) = true]. Приложение считают полным, если при
обнаружении приложением следования Т из S в соответствии с CL в любых текстах Т и S на диа лектах в
наборе совместимости приложение может обнаружить следование Т из S.
П р и м е ч а н и е — Для этого необходима полнота «поперечных» диалектов в наборе совместимости.
Полнота не требует, чтобы приложение могло обнаруживать следование в семантическом расши
рении, которое не является следованием в соответствии с CL. Если диалект является семантическим
расширением, тогда приложение является полным диалектом для этого диалекта, если для любой диа
лектной интерпретации / этого диалекта /(Т ) = true, если (S) = true, а приложение обнаруживает
следо вание Т из S.
7.3 Совместимость сетей
Совместимость сетей передачи данных определяют относительно набора диалектов, называе
мого набором совместимости. Сеть является совместимой, если она без искажений передает все вы
ражения всех диалектов в наборе совместимости между любыми узлами сети и предоставляет сетевые
идентификаторы, которые соответствуют семантическим условиям Е17, Е20 и требованиям 6.2. Ошиб
ки или сбои передачи данных в сети, которые обозначены как состояния ошибок, не считают искажени
ем при определении совместимости сети.
23