Cтраница 3
Необходимость в разных способах обусловлена различной их эффективностью в разных условиях. Физически разные режимные варианты отличаются, как правило, тем что некоторые программные фрагменты присутствуют лишь в определенных вариантах. Поэтому для получения совмещенного текста такой системы можно применять способ, аналогичный послойной разметке - альтернативную разметку. Если послойная пометка указывает условие вхождения фрагмента в терминах наличия или отсутствия слоя, то альтернативная пометка является логическим выражением, в котором элементарными операндами являются отношения равенства компонентов режима определенным значениям. Например, пометка, имеющая вид РЕ ТОП МАССИВ, означает, что компонент режима функционирования РЕ ТОП ( реализация таблицы описаний) принимает значение МАССИВ в отличие от другой альтернативы, где ее значением является СПИСОК. Альтернативные пометки в тексте удобно хранить в закодированном виде, при этом предыдущая пометка может принять такой вид: A3 0, где A3 - номер альтернативы, а 0 - код одного из возможных значений. По отношению к послойной пометке альтернативная пометка может быть независимой. В этом случае область действия ее определяется без учета послойной пометки, ее конец фиксируется особым образом. Но возможна также совмещенная альтернативно-послойная разметка с единым логическим выражением в пометке, содержащим и слои, и альтернативы. [31]
Теперь понятие разностное отношение не употребляется. В современной математике выражения вида а: Ь тоже очень редко называют отношениями. Термин отношение теперь большинство математиков употребляют для обозначения какой-либо связи между предметами или понятиями. Отношение р в некотором множестве называется рефлексивным, если для любого элемента х из этого множества хрх; симметричным, если из хру следует урх; транзитивным, если из хру и ург следует хрг. Отношение, являющееся одновременно рефлексивным, симметричным и транзитивным, называется отношением эквивалентности. Такими, в частности, есть отношения равенства во множестве чисел, эквивалентности во множестве уравнений, подобия во множестве фигур и др. Нерефлексивное, антисимметричное и транзитивное отношение называется отношением порядка. [32]