SCs_-_уровни_-_копия
.pdf
константный sc.s-коннектор пересекающихся множеств _
_
переменный sc.s-коннектор пересекающихся множеств
Пример: v1 _ v2;;
=
включение* _ (v1 _=> v2);;
<=>
семантическая
эквивалентност ь*:
|
|
Изображение связки отношения пара |
|
пересекающихся множеств* |
|
Пример: |
|
треугольник правильный многоугольник;; |
|
натуральное число целое число;; |
|
Изображение связки отношения пара |
_ |
пересекающихся множеств* |
|
Пример: |
|
v1 _ v2;; |
|
= |
|
v1 _<=> пара пересекающихся множеств*:: v2;; |
|
<=> семантическая эквивалентность*: |
|
константный |
Изображение связки, не принадлежащей |
sc.s-коннектор |
отношению пара пересекающихся множеств* |
непересекающихс |
|
я множеств |
Пример: |
|
|
|
треугольник | квадрат;; |
|
натуральное число | иррациональное число;; |
переменный |
Изображение связки, не принадлежащей |
sc.s-коннектор |
отношению пара пересекающихся множеств* |
непересекающихс |
|
я множеств |
Пример: |
|
|
|
v1 _ | v2;; |
|
= |
|
пара пересекающихся множеств* _ (v1 _<=> |
|
v2);; |
|
<=> семантическая эквивалентность*: |
|
_ |
sc.s-коннектор |
Изображение связки отношения |
идентификации |
идентификатор*. |
|
Разделяет имя sc-объекта и имя файла, в котором |
|
хранится один из возможных идентификаторов |
|
указанного sc-элемента. Каждому sc-элементу |
|
может быть поставлено в соответствие |
|
несколько его идентификаторов |
|
Пример: |
|
треугольник =∙ ["triangle"];; |
sc.s-коннектор |
Изображение связки отношения семантическая |
семантически |
эквивалентность*. Разделяет имена двух файлов, |
эквивалентных |
которые являются семантически |
файлов |
эквивалентными. |
|
Пример: |
|
["треугольник"] ["triangle"];; |
=∙
∙=
sc.s-коннектор семантически неэквивалентных файлов
sc.s-коннектор трансляции
sc.s-коннектор семантического включения
sc.s-коннектор равенства
sc.s-коннектор неравенства
Изображение связки, не принадлежащей отношению семантически эквивалентные файлы*.
Разделяет имена двух файлов, которые не являются семантически эквивалентными, если есть необходимость подчеркнуть наличие семантической разницы между содержимым некоторых файлов.
Пример:
["линейный треугольник"] *** ["треугольник"];;
Изображение связки, принадлежащей отношению трансляция*.
Разделяет обозначение sc-графа и имя файла, семантически эквивалентного данному sc-графу.
Пример:
[Треугк(ТчкА;ТчкВ;ТчкС) <- прямоугольный треугольник] ∙ ["Треугольник Треугк(ТчкА;ТчкВ;ТчкС) является прямоугольным"]
;;
Изображение связки, принадлежащей отношению семантическое включение*.
Разделяет имя файла и обозначение sc-графа, которые связаны указанным отношением, либо имена двух файлов, связанных указанным отношением.
Пример:
["Треугольник Треугк(ТчкА;ТчкВ;ТчкС) является прямоугольным"] > [Треугк(ТчкА;ТчкВ;ТчкС) <- прямоугольный треугольник; равнобедренный треугольник;;];;
Разделяет имена синонимичных sc-элементов
Пример:
Поток 72170x = {721701;721702;721703};;
Разделяет имена sc-элементов, не являющихся синонимичными.
∙ ∙
> <
=
≠
Это иногда требуется, чтобы подчеркнуть наличие семантической разницы между двумя знаками
Пример:
треугольник ≠ линейный треугольник;;
sc.s-разделители, не являющиеся изображениями sc-коннекторов
Название |
|
Семантика разделителя |
|
|
|
|||||
разделителя |
|
|
|
|
|
|
|
|
|
|
sc.s-разделитель |
sc.s-разделитель, |
изображающий |
связку |
|||||||
инцидентность |
отношения инцидентность* |
|
|
|
|
|
|
|||
|
Пример: |
|
|
|
|
|
|
|
|
|
|
Четырехугк(ТчкА;ТчкВ;ТчкС;ТчкD) |
| |
pair1 |
| |
||||||
|
Отр(ТчкВ;ТчкС);; включение* | arc2 | pair1;; |
|
||||||||
sc.s-разделитель |
Является |
изображением |
|
константных |
||||||
простое двоеточие |
позитивных стационарных sc-дуг, проведенных |
|||||||||
|
из |
каждого |
из |
именуемых |
|
узлов |
в |
те |
||
|
sc-коннекторы, |
изображение |
|
которых |
||||||
|
находится |
перед |
перечислением |
имен |
||||||
|
вышеупомянутых узлов. |
|
|
|
|
|
|
|||
|
Если указанные разделители встречаются в |
|||||||||
|
предложении несколько раз, то такая запись |
|||||||||
|
указывает, что все уточнения типа относятся к |
|||||||||
|
одному и тому же коннектору. |
|
|
|
|
|
||||
|
Пример: |
|
|
|
|
|
|
|
|
|
|
Четырехугк(ТчкА;ТчкВ;ТчкС;ТчкD) ; |
|
|
|
||||||
|
Треугк(ТчкВ;ТчкС;ТчкD) |
=> |
|
|
сторона* : |
|||||
|
включение* : Отр(ТчкВ;ТчкС); Отр(ТчкС;ТчкD);; |
|||||||||
sc.s-разделитель |
Является |
изображением |
|
переменных |
||||||
двойное двоеточие |
позитивных стационарных sc-дуг, проведенных |
|||||||||
|
из |
каждого |
из |
именуемых |
|
узлов |
в |
те |
||
|
sc-коннекторы, |
изображение |
|
которых |
||||||
|
находится |
перед |
перечислением |
имен |
||||||
|
вышеупомянутых узлов. |
|
|
|
|
|
|
|||
|
Если указанные разделители встречаются в |
|||||||||
|
предложении несколько раз, то такая запись |
|||||||||
|
указывает, что все уточнения типа относятся к |
|||||||||
|
одному и тому же коннектору. |
|
|
|
|
|
||||
sc.s-разделитель |
Является |
изображением |
|
|
константной |
|||||
простой плюс |
позитивной |
стационарной |
|
|
sc-дуги, |
|||||
|
проведенной из узла, имя которого находится |
|||||||||
|
слева от данного разделителя, в sc-коннектор, |
|||||||||
|
связывающий |
модификатор, |
имя |
которого |
||||||
|
стоит после данного разделителя, и |
|||||||||
|
модифицируемый указанным модификатором |
|||||||||
|
sc-коннектор. |
|
|
|
|
|
|
|
|
|
Изображение
разделителя
|
:
::
Если указанные разделители встречаются в предложении несколько раз, то такая запись указывает, что все уточнения типа относятся к
+sc.s-разделитель двойной плюс
одному и тому же коннектору.
Пример:
треугольник <= признак равенства сторон'+разбиение*: { разносторонний треугольник; строго равнобедренный треугольник; равносторонний треугольник; };;
<=> семантическая эквивалентность*:
Является изображением переменной позитивной стационарной sc-дуги, проведенной из узла, имя которого находится слева от данного разделителя, в sc-коннектор, связывающий модификатор, имя которого стоит после данного разделителя, и модифицируемый указанным модификатором sc-коннектор.
Если указанные разделители встречаются в предложении несколько раз, то такая запись указывает, что все уточнения типа относятся к одному и тому же коннектору.
Пример:
шаблон поиска -> [ _объект _<= _признак'++ разбиение*: _семейство ];;
<=> семантическая эквивалентность*:
+ |
Является разделителем компонентов |
; |
|
|
|
|
сложного sc.s-предложения. |
|
+sc.s-разделитель
простая точка с запятой
sc.s-разделитель двойная точка с запятой
sc.s-ограничитель встроенных предложений
Если данный разделитель встречается правее изображения sc.s-коннектора, то
1)sc-коннекторы проводятся к каждому из sc-элементов, имена которых перечислены через ;
2)если имя элемента находится сразу после изображения sc-коннектора, то никаких дополнительных уточнений к типу коннектора нет. ( A => x; y;; )
3)если имя элемента находится сразу после разделителя ;, то уточнения к типу коннектора считаются теми же, что и для sc-элемента, стоящего левее разделителя ; .( A => k1: k2: x; y;;
)
4)если после разделителя ; явно указаны дополнительные уточнения типа коннектора, то уточнения к типу коннектора для sc-элемента, стоящего левее разделителя ; не учитываются.
( A =>k1: x; k2: y;; )
Если данный разделитель встречается левее изображения sc.s-коннектора, то
1) sc-коннекторы проводятся из каждого из sc-элементов, имена которых перечислены через ; слева от изображения коннектора
Пример:
Четырехугк(ТчкА;ТчкВ;ТчкС;ТчкD) ; Треугк(ТчкВ;ТчкС;ТчкD) => сторона* : включение* : Отр(ТчкВ;ТчкС); Отр(ТчкС;ТчкD);;
Разделяет sc.s-предложения в рамках sc.s-текста
Указывает границы всроенного sc.s-предложения в рамках sc.s-предложения.
Если встроенное sc.s-предложение не содержит разделителей точка с запятой, то при записи границы (*...*) могут быть опущены
;;
(*...*)