Шпора 8 страниц

g – дуга принадлежности, проведенная из узла v в SCB-элемент e.

При этом дуга принадлежности g выходит из узла v и входит в SCB-элемент e.Знак нормализованной пары принадлежности в языке SCB называется дугой принадлежности.Знак узлового множества называется узлом. При этом предметные узлы являются знаками предметных множеств и непредметные узлы являются знаками нормализованных узловых непредметных множеств.

Тексты языка SCB называются SCB-текстами или SCB-конструкциями. Элементарные фрагменты SCB-текста называются SCB-элементами. К числу SCB-элементов относятся дуги принадлежности и узлы. Никаких других SCB-элементов не существует.

Свойства SCB-конструкций:

1.Дуга принадлежности не может выходить из дуги принадлежности и дуга принадлежности не может выходить из самой себя.

2.Дуга принадлежности не может выходить из предметного узла.

3.Дуга принадлежности не может выходить из узла неопределённого типа.

4.Дуга принадлежности не может выходить из SCB-элемента неопределённого типа.

5.Дуга принадлежности не может входить в саму себя.

6.Дуга принадлежности может входить в SCB-элемент любого типа.

7.Два разных узла не могут быть инцидентны друг другу.

8.SCB-элемент, из которого дуга принадлежности выходит, и SCB-элемент, в который дуга принадлежности входит, могут совпадать. Такая дуга принадлежности называется SCB-петлей.

9.В SCB-конструкциях могут встречаться также кратные дуги принадлежности, т.е. дуги принадлежности, которые выходят из одного и того же SCB-элемента и входят в другой, но совпадающий для этих дуг SCB-элемент.

10.В SCB-конструкциях могут также встречаться встречные дуги принадлежности.

11. Т.е. каждая дуга принадлежности выходит из одного узла и входит только в один SCB-элемент.

Если имеется узел, обозначающий некоторую информационную конструкцию не на языке SCB, то указанную информационную конструкцию называется содержимым указанного узла.

изображение знака множества
изображение дуги принадлежности
изображение знака узлового множества

В языке SCBg SCB-элементы неуточняемого типа изображаются в виде закрашенного маленького кружка, узлы – в виде большого кружка, а дуги принадлежности – отрезком линии со стрелкой на одном из его концов, указывающей направление SCB-дуги. В кружок, изображающий узел, могут быть помещены условные обозначения типа узла (вертикальные, горизонтальные, наклонные и прочие черточки в различных комбинациях).

Идентификатор SCB-элемента есть не что иное, как имя множества , обозначаемого этим SCB-элементом.

Идентификаторы SCB-элементов формируются по следующим принципам: каждому SCB-элементу ставится в соответствие не более одного идентификатора; у некоторых SCB-элементов идентификаторы могут отсутствовать; каждому идентификатору соответствует только один идентифицируемый им SCB-элемент.