5. Ядро языка scBs (Semantic Code Basic string) – линейной модификации языка scb

Ключевые понятия: язык SCBs; scbs-текст (scbs-конструкция);    scbs -предложение; scbs -разделитель; scbs-разделитель инцидентности; scbs-разделитель принадлежности; scbs-разделитель синонимии; scbs-разделитель несинонимии; scb-идентификатор (идентификатор scb-элемента).

Символьная модификация языка SCB, а именноязыкSCBs(SemanticCodeBasicstring), дает возможность записать тексты языкаSCBв линейном (строковом) виде. Для этого в языкеSCBsпринят ряд соглашений по формированию и использованию идентификаторовscb-элементов и введены специальные разделители, обозначающие  связи междуscb-элементами,   а  также способствующие  наиболее  понятному  "прочтению"scbs-текстов.

Итак, текст, записанный на языке SCBs, назовемscbs-текстом(илиscbs-конструкцией). Элементарные составляющиеscbs-текстов будем называтьscbs-предложениями.

На языке SCBs, так же как на графической модификации –SCBg(см. подраздел2.4), имеется возможность представлять тройки принадлежности различными способами. Возможныеэквивалентныеварианты изображения тройки принадлежности даны наscbs-тексте2.5.1(см. такжеscbg-текст2.3.1).

SCBs-текст 2.5..Варианты изображения тройки принадлежности на языке SCBs

v  g;g  e;		g  v;g  e;		v  g;e  g;
				
g  v;e  g;		g  e;v  g;		e  g;v  g;
		
g  e; g  v;		e  g; g  v;

Здесь разделители  “    ”и“  ”будем называтьscbs-разделителями инцидентности, а символ“  ; ”(точка  с  запятой)  –разделителем   scbs-предложений.   Каждый  из  приведенных  вариантов scbs-текстов состоит из двух scbs-предложений.

Заметим, что стилистически, для повышения наглядности scbs-текстов, в состав разделителей, подобных связкам инцидентности, принято включатьпробелыслева и справа от разделителя. При этом допускается произвольное количество пробелов до и после разделителя языкаSCBs.

Символами   v, g, e обозначены идентификаторы соответствующих scb-элементов, т.е.символьные варианты изображения (в виде строк символов) тех знаков множеств,которые эквивалентны (синонимичны) соответствующим scb-элементам.Эквивалентные (синонимичные) знаки – это знаки,обозначающие одно и то же.Для языка SCB и его модификаций – это знаки, обозначающие одно и то же множество,т.к.в указанных языках нет ничего,кроме множеств и их знаков.Кроме того,указанные три идентификатораv, g, e соответствуют scb-элементам разного типа.Идентификаторv  соответствует непредметному узлу (знаку узлового непредметного множества, см.scbg-текст2.3.2).Идентификаторg соответствует дуге принадлежности (знаку пары принадлежности).Идентификаторe соответствует scb-элементу,тип которого может быть любым (см.scbg-тексты2.3.2 – 2.3.6).

SCBs-конструкцию

ei    ej ;

будем называть элементарной scbs-конструкцией 1-го вида.

SCBs-конструкцию

ej    ei ;

будем называть элементарной scbs-конструкцией 2-го вида.

Элементарные scbs-конструкции могут быть элементарными scbs-предложениями соответственно 1-го и2-го вида.Справедливо следующее эквивалентное преобразование элементарных scbs‑предложений1-го вида в элементарные scbs-предложения2-го вида и наоборот:

ei    ej ;



ej    ei ;

Кроме того,эквивалентным преобразованиемscbs-текста являетсялюбая перестановка предложений. Результатом  указанных эквивалентных преобразований scbs-текстов являются перечисленные наscbs-тексте2.5.1варианты изображения троек принадлежности.

Элементарные scbs-конструкции описывают инцидентность (соседство) scb-элементов. Соответственно этому scbs-конструкция:

ei    ej ;

или эквивалентная ей конструкция:

ej    ei ;

трактуется следующим образом:

• scb-элемент    ei  инцидентен слева scb-элементуej;

• scb-элемент    ej  инцидентен справа scb-элементуei.

По аналогии  с рассмотрением ядра языка SCBg(см. утверждения2.2.1 – 2.2.14в подразделе2.3и утверждения2.3.1 – 2.3.9 в подразделе2.4) перечислим основные свойства языкаSCBв рамках языкаSCBs. Здесь для наглядности сохранена нумерация, принятая при перечислении свойств языка SCB.

Утверждение 2.5.1 (свойство SCBs-1). Дуга принадлежности не может выходить из дуги принадлежности и, в частности, не может выходить из самой себя (см. свойство SCB-1 утверждения 2.2.1). То есть если  gi  и  gj  являются идентификаторами дуг принадлежности, то в языке SCBs конструкции вида:

gi     gj ;

и эквивалентная ей scbs-конструкция вида:

gj   g i;

означают,что дуга принадлежностиgiвходит в дугу принадлежностиgj. Трактовка: дуга принадлежностиgj  выходит из дуги принадлежностиgi – является некорректной.

Утверждение 2.5.2 (следствие из свойствSCB-1 утверждения 2.2.1, SCB-5 утверждения 2.2.5, SCB‑7 утверждения 2.2.7). SCB-элемент любого типа не может быть инцидентен сам себе, т.е. некорректными считаются следующие scbs-конструкции:

e     e ;

e    e ;

Утверждение 2.5.3 (следствие из свойства SCB-7 утверждения 2.2.7). SCB-узлы не могут быть инцидентны друг другу, т. е. если  vi  и  vj являются идентификаторами scb-узлов, то следующие scbs‑конструкции некорректны:

vi     vj;



vj    vi;

Утверждение 2.5.4 (свойство SCBs-13). Если   g  есть идентификатор некоторой дуги принадлежности, то  существует только один scb-элемент   v, для которого справедлива scbs-конструкция вида (см. свойство SCB-13 утверждения 2.2.13):

v     g;

или эквивалентная ей конструкция вида:

g    v;

а также существует только один scb-элементе, для которого справедлива scbs-конструкция вида:

g     e;

или эквивалентная ей конструкция вида:

e    g;

Как сказано выше, каждому scb-узлу, обозначающему информационную конструкцию, можно поставить в соответствие содержимоеэтого узла, каковым указанная информационная конструкция и является.Содержимым узла может быть информационная конструкция любого вида (в частности, любой файл).

Если узел является знаком представления некоторого числа в некоторой системе счисления,то содержимым этого узла следует считать представление указанного числа в заданной системе счисления.

Если узел является знаком некоторого текста,то содержимым этого узла следует считать сам указанный текст (см.scbg-текст2.3.7).

На языке SCBsприписывание узлу соответствующего содержимого осуществляется следующим образом:

v ═ /" t "/  ;

где

• v–scb-идентификатор некоторого узла;

• ═ –  scbs-разделитель синонимии (подробнее см. подраздел2.6)

• t– непосредственно сам символьный текст (цепочка символов),который  является  содержимым узлаv;

• косая черта с кавычкой используется как левый ограничитель текста,являющегося содержимым;

• кавычка с косой чертой используется как правый ограничитель текста,являющегося содержимым.

Таким образом, в языке SCBs разделитель “  /" ” и разделитель “  "/ ” являются scbs-ограничителями (слева и справа соответственно) для произвольного текста, представляющего собой содержимое некоторого scb-узла.

Далее будем называть scbs-ограничителями те scbs-разделители, которые имеют характер открывающей и закрывающей "скобок". Так, ограничитель  “  /"  ” можно назвать открывающей скобкой содержимого scb-элемента, а ограничитель “  "/ ” – закрывающей скобкой указанного содержимого.

Комментарий в тексте языка SCBsможно вставлять в любом месте, ограничивая его левым ограничителем, в качестве которого используется косая черта со звёздочкой“  /*” , и правым ограничителем, в качестве которого используется звёздочка с косой чертой“*/” (см.scbs-текст2.5.2).

SCBs-текст 2.5..Использование ограничителей комментария и содержимого узла

v     g ;  g  e ; /* Так как элемент e является узлом, можем присвоить ему содержимое. Далее следует учитывать, что узел e является предметным, и из него не могут выходить дуги. */  e ═ /" Здесь хранится содержимое узла "/  ; /* См. scbg-текст 2.4.7 */

В табл. 2.5.1приведены базовые средства языкаSCBsдля записиscb-текстов в линейном виде. Этих средств достаточно для того, чтобы записать любойscb-текст. Ниже будут рассмотрены дополнительные средства, облегчающие понимание таких текстов.

Таблица 2.5.1.Основные разделители языкаSCBs

Разделитель		Описание
		scbs-разделители инцидентности
;		разделитель scbs-предложений
═		scbs-разделитель синонимии
/"		левый scbs-ограничитель содержимогоscb-узла
"/		правый scbs-ограничитель содержимогоscb-узла
/*		левый scbs-ограничитель комментария (вscbs-тексте)
*/		правый scbs-ограничитель комментария (вscbs-тексте)

Упражнения к подразделу 2.5.

Упражнение 2.5.16. Запишите на базовых средствах языка SCBs тексты, предложенные в упражнении Упражнение 2.4 .15.