6. Формирование идентификаторов в языкеScb

Ключевые понятия:scb-идентификатор; имя собственное; имя нарицательное; простой scb-идентификатор; сложный scb-идентификатор.

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

Идентификаторы scb-элементов формируются по следующим принципам:

• каждому scb-элементу ставится в соответствие не более одного идентификатора (идентифицироваться могут как знаки узловых множеств, так и знаки пар принадлежности);

• у некоторых scb-элементов идентификаторы могут отсутствовать;

• каждому идентификатору соответствует один и только один идентифицируемый им scb-элемент.

Следует четко отличать сам идентификатор как класс одинаковых строк символов от вхождения этого идентификатора в соответствующие фрагменты текста.Один и тот же идентификатор может входить в составscbs-текста несколько раз.

В языке SCBs запрещена неявная омонимияидентификаторов,т.е.разные вхождения одного и того же идентификатора не могут (например,в зависимости от контекста) быть семантическим эквивалентом разных scb-элементов, если это не оговорено специальным образом.Поэтому при вводе в базу знаний некоторого scbs-текста  автор этого текста должен:

• гарантировать отсутствие неявной омонимии в рамках построенного им  scbs-текста;

• убедиться в том,что каждый идентификатор,как имеющийся в базе знаний,так и во вводимом  scbs-тексте,имеет одинаковую семантическую трактовку соответственно и в имеющейся базе знаний и во вводимом scbs-тексте;

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

Явное задание омонимии scb-элементов на языкеSCBsпроизводится с помощьюscbs-разделителя несинонимии“  ” (см.scbs-текст2.6.1):

SCBs-текст 2.6.. Явное задание омонимии scb-элементов

v v ;

Очевидно, что при этом требуется также уточнение того, с какой семантической трактовкой используется каждый из омонимичных идентификаторов в каждом отдельном scbs-тексте. Для разрешения указанного противоречия вводятся синонимичные идентификаторы (см. ниже).

Каждый scbs-текст,автор которого гарантирует отсутствие неявной омонимии (в рамках этого текста),имеет специальный признак начала (каковым является ограничитель“  Begin ”)  и   специальный признак конца (каковым является ограничитель“  End ”).Кроме того,в таком тексте (после“ Begin ”) указывается ФИО автора, дата созданияscbs-текста и точка с запятой (см.scbs-текст2.6.2).

SCBs-текст 2.6..Использование ограничителей начала и конца scbs-текста с гарантированным отсутствием неявной омонимии (здесь используется расширенный метаязык Бэкуса‑Наура, который описан в подразделе 2.8)

Begin Иванов И.И. 15.01.2001 ; {⋖scbs-предложение⋗; } End;

Синонимияидентификаторов в языке SCBs разрешена и аналогично омонимии должна быть явно указана с помощью предложений вида:

ei ═ ej ;

Это предложение означает,что идентификаторeiсинонимичен (семантически эквивалентен) идентификаторуej.

Другими словами,оба эти идентификатора изображаютодин и тот же scb-элемент.Указанное предложение (со знаком равенства) можно также трактовать как указание на "склеивание" scb‑элемента с идентификаторомei  и scb-элемента с идентификаторомej.

Примечание. Следует обратить внимание на то, то связка синонимии “ ═ ” используется также при формировании текстовых содержимых scb-узлов. Таким образом, запись вида:

v ═ /" t "/ ;

означает, что scb-элемент с идентификатором  v синонимичен scb-элементу     /" t "/ , обозначающему некоторый текст.

Если в scbs-тексте необходимо подчеркнуть отсутствие синонимии похожих идентификаторов (например,eiиej ),используются предложения сscbs-разделителем“ ” , имеющие вид:		eiej ;
В случае же омонимии идентификаторов (см. scbs-текст2.7.1) может иметь место, например,scbs-конструкция следующего вида:		ei ═ v    v ═ ej ;

Здесь идентификаторы   ei иej следует рассматривать как синонимичные "заменители" омонимичного идентификатораv.

Итак, в дополнение к табл. 2.5.1, в табл.2.6.1приведём дополнительные средства языкаSCBsдля записиscb-текстов в линейном виде.

Таблица 2.6.1.Дополнительные средства языкаSCBs

Символ	Описание
Begin	признак начала scbs-текста, в котором гарантировано отсутствие неявной омонимии
End;	признак конца scbs-текста, в котором гарантировано отсутствие неявной омонимии
	scbs-разделитель несинонимии (в частности, омонимии)scb-элементов

Далее рассмотрим более подробно правила формирования идентификаторов scb-элементов.

SCB-идентификаторы можно классифицировать по целому ряду признаков:

• откуда заимствован идентификатор:

• русскоязычные идентификаторы;

• англоязычные идентификаторы;

• условные обозначения;

• наличие сокращений:

• аббревиатурные идентификаторы (всевозможные сокращения);

• неаббревиатурные идентификаторы;

• семантика идентификатора:

• имена собственные;

• имена нарицательные;

• наличие вхождений других идентификаторов:

• простые идентификаторы (атомарные);

• сложные идентификаторы (составные, производные, неатомарные) – это scb-идентификаторы, в состав которых входятscb-идентификаторы, соответствующиедругим scb-элементам.

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

Простой scb-идентификатор – это некоторое словосочетание, в состав которогоневходят разделители языкаSCBs. Заметим, что пробелы и символы подчеркивания не являются разделителями языкаSCBs.

Примечание.Некоторые разделители и ограничители языкаSCBsсостоят изнесколькихсимволов.Некоторые специальные символы (например дефис),используемые в таких разделителях и ограничителях,могут использоваться и в простых идентификаторах.

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

• простые идентификаторы;

• имена функций (эти имена, строго говоря, идентификаторами не считаются);

• обозначения 2-мощных операций;

• разделители, используемые при формировании сложных идентификаторов;

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

Ниже при рассмотрении проблемы сокращения словаря (набора) используемых простых идентификаторов (см. подраздел 2.7), а также при рассмотрении теоретико-множественных и числовых соотношений (см. раздел 3) будут введены некоторые конкретные правила построения сложных идентификаторов.

Перечислим некоторые "стилистические правила" построения простых идентификаторов scb‑элементов. Некоторые из правил будут иметь вид схем, в которых приняты следующие соглашения и обозначения:

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

• в схему могут быть включены комментарии, оформленные с помощью тех же разделителей, которые имеются в языке SCBs. В процессе формирования идентификатора эти комментарии опускаются;

• в текст схемы могут входить слова в скобках специального вида “ ⋖  ”  и  “  ⋗  ”. Это означает, что вместо слов, написанных внутри таких скобок, следует подставить те слова, о которых говорится в формулировке правила (см. также подраздел 2.8).

Правило 2.6.1. Простые идентификаторы должны строиться на основе русскоязычного или англоязычного словаря так, что бы те, кто знает соответствующий язык, могли достаточно легко понять смысл идентификаторов, т. е. могли достаточно легко "прочитать" scb-текст.

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

Правило 2.6.3. Если  строка⋖ имя нарицательное ⋗ есть простойscb-идентификатор, построенный как имя нарицательное, не начинающийся словом“знак”или словами“ быть знаком”, тоэтот идентификатор семантически эквивалентен (синонимичен) идентификатору,построенному какимя собственноепо следующей  схеме:

Знак множества всех тех  /* всевозможных */  и только тех знаков, каждый из которых  обозначает   некоторый   /* некоторую, некоторое */  ⋖ имя нарицательное ⋗      /* в соответствующем падеже */

Приведём в качестве примеров имена нарицательные и имена собственные,которые являются идентификаторами узлов,задающих те типыscb-элементов,каждому из которых соответствует свой графический примитив в языкеSCBg(см. табл.Таблица 2.3 .4).

Таблица 2.6.2.Синонимичные идентификаторы узлов, задающих типы scb-элементов

Графический примитив	SCBs-тексты, отражающие синонимию идентификаторов узлов
	пара принадлежности  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую  пару принадлежности ;
	узловое множество  ═ множество, не являющееся парой принадлежности  /* Запятая, являющаяся разделителем членов scbs-предложений, не может входить в идентификатор. В идентификаторах используется запятая специального вида (см. правило 2.6.10) */ ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некотороеузловое множество  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество,не являющееся парой принадлежности ;
	узловое непредметное множество  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество, не являющееся парой принадлежности узловое непредметное множество ;
	пара непринадлежности ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару непринадлежности ;
	пара нечёткой принадлежности ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару нечеткой принадлежности ;
	неориентированная пара  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую неориентированную пару ;
	пара синонимии  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару синонимии ;
Продолжение табл. Таблица 2.6 .2
Графический примитив	SCBs-тексты, отражающие синонимию идентификаторов узлов
	пара несинонимии  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару несинонимии ;
	пара нечёткой синонимии  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару нечеткой синонимии ;
	семейство пар принадлежности  ═ множество знаков пар принадлежности  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество знаков пар принадлежности ;
	семейство узловых множеств  ═ множество знаков узловых множеств  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество знаков узловых множеств ;
	семейство предметов  ═ множество знаков предметных множеств  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество знаков предметных множеств ;
	семейство узловых непредметных множеств  ═ множество знаков узловых непредметных множеств  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторое множество знаков узловых непредметных множеств ;
	система множеств ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую систему множеств ;
Окончание табл. Таблица 2.6 .2
Графический примитив	SCBs-тексты, отражающие синонимию идентификаторов узлов
	простая ориентированная пара  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую простую ориентированную пару ;

Правило 2.6.4. Если строка    ⋖ имя нарицательное ⋗    есть простой scb-идентификатор, который построен как имя нарицательное и начинается словами  “  быть знаком ” или словом  “ знак ”, либо включает слово  “ знак ”  как главное определяемое слово, то этот идентификатор семантически эквивалентен (синонимичен) идентификатору, построенному как имя собственное по следующей "схеме":

Знак множества всех тех и только тех знаков, каждый из которых является     ⋖  имя нарицательное ⋗/* в соответствующем падеже */

На scbs-текстах 2.6.3 приведены примеры использования правила 2.6.4.

SCBs-текст 2.6.. Пример формирования синонимичных идентификаторов по правилу 2.6.4

знак пары принадлежности  ═ Знак множества всех тех и только тех знаков, каждый из которых является знаком пары принадлежности ;

знак предметного множества  ═ предметный знак ═ Знак множества всех тех и только тех знаков, каждый из которых является предметным знаком ;

Правило 2.6.5. Поскольку scb-элементы являются знаками и поскольку язык SCB оперирует множествами, состоящими только из знаков множеств (за исключением предметных множеств), слово  “  знак  ”  в простых идентификаторах scb-элементов можно опускать (см. scbs-текст 2.6.4).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по правилу 2.6.5

знак пары принадлежности ═ пара принадлежности ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности ═ Множество всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности;

Правило 2.6.6. Словосочетание   “ всех тех и только тех знаков    /* или объектов */  ,   каждый из которых обозначает     /* или является */    некоторым  /* или некоторой */ ”    заменяется в простых идентификаторах на слово     “ всевозможных ” (см. scbs-текст 2.6.5).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по правилу 2.6.6

Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности  ═ Знак множества всевозможных знаков пар принадлежности ;

Правило 2.6.7. Словосочетание “ множество всевозможных ” в простых идентификаторах преобразуется во множественное число (см. scbs-текст 2.6.6).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по правилу 2.6.7

множество всевозможных пар принадлежности  ═ пары принадлежности ;

Правило 2.6.8. Если слово   “некоторых”  стоит после слова   “множество”  или слова “семейство”, то его можно исключить. Таким образом, в простых идентификаторах после слова   “множество”   или слова   “семейство”  по умолчанию подразумевается слово   “некоторых”  , а не слово “всевозможных” (см. scbs-текст 2.6.7).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по правилу 2.6.8

множество знаков пар принадлежности  ═ множество знаков некоторых пар принадлежности ;  /* множество знаков всевозможных пар принадлежности */

Правило 2.6.9. Если идентификатор, являющийся именем нарицательным, начинается словом “ быть”  , то его можно исключить (см. scbs-текст 2.6.8).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по правилу 2.6.9

быть парой принадлежности  ═ пара принадлежности ;

быть знаком пары принадлежности  ═ знак пары принадлежности ;

Правило 2.6.10. В состав идентификаторов могут входить запятые, но запятые специального вида “  , ”, которые не следует путать с запятыми вида “  , ” , используемыми в языке SCBs в качестве разделителей (см. подраздел 2.8). Кроме того, в идентификаторах допускается использование таких знаков, как дефис “  - ” , тире  “ – ”, знак подчеркивания “ _ ”.

Проиллюстрируем перечисленные правила формирования простых scb-идентификаторов в языкеSCBsна примере множества идентификаторов,синонимичных идентификатору“ пара принадлежности ”(см.scbs-текст2.6.9).

SCBs-текст 2.6..Пример формирования синонимичных идентификаторов по различным правилам

пара принадлежности  ═ Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности  /* результат преобразования имени нарицательного в эквивалентное имя собственное */ ═ Знак множества всевозможных знаков пар принадлежности /* результат замены словосочетания “ всех тех и только тех ..., которые ” */ ═ Множество всевозможных знаков пар принадлежности  /* результат исключения слова “ знак ” */ ═ Множество всевозможных пар принадлежности  /* результат исключения слова “ знак ” */ ═ пары принадлежности  /* результат преобразования слова “ множество ” во множественное число */ ═ быть парой принадлежности ═ быть знаком пары принадлежности  ═ знак пары принадлежности ═ Знак множества всех тех и только тех знаков, каждый из которых является знаком некоторой пары принадлежности ;

Следует также отметить, что преобразование имени нарицательного в имя собственное, осуществлённое путём изменения "размера" первой буквы идентификатора, меняет семантику идентификатора (см. scbs-тексты2.6.10 и 2.6.11).

SCBs-текст 2.6..Пример несинонимичного преобразования идентификатора

пара принадлежности     Пара принадлежности ;

Здесь имя собственное  “Пара принадлежности” обозначает какую-то одну конкретную пару принадлежности в отличие от имени нарицательного  “пара принадлежности”.

Если необходимо таким путем идентифицировать несколько конкретных пар принадлежности,то для каждой такой пары в идентификатор необходимо вводить дополнительный индивидуальный признак,например, индексы: “ Пара принадлежности.1 ” , “  Пара принадлежности.2 ”и т.д.

SCBs-текст 2.6..Пример несинонимичного преобразования идентификатора

Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности   знак множества всех тех и только тех знаков, каждый из  которых обозначает некоторую пару принадлежности ;

Здесь второй идентификатор (имя нарицательное) является знаком множества, состоящего из одного элемента, каковым является знак, изображаемый первым идентификатором. Дело в том, что здесь в имени нарицательном явно указывается такое свойство, каким обладает только один объект.

Замена в идентификаторе словосочетаний   “ всех тех и только тех ”на слово“ некоторых ” меняет семантику идентификатора (см.scbs-текст2.6.12).

SCBs-текст 2.6..Пример несинонимичного преобразования идентификатора

Знак множества всех тех и только тех знаков, каждый из которых обозначает некоторую пару принадлежности  /* имя нарицательное */   Знак множества некоторых , /* т.е. не всех */ знаков, каждый из которых обозначает некоторую пару принадлежности ;

Здесь множество, обозначаемое вторым идентификатором, содержит больше одного элемента, в отличие от множества, обозначаемого первым идентификатором.

Следует также помнить о том, что добавление к имени нарицательному слова  “ множество”меняет смысл идентификатора (см.scbs-текст2.6.13).

SCBs-текст 2.6..Пример несинонимичного преобразования идентификатора

Множество всевозможных пар принадлежности  /* ═ пара принадлежности  */ множество пар принадлежности ; /*  ═  множество некоторых пар принадлежности */

Множество всевозможных треугольников  /*  ═ треугольник    */ множество треугольников ; /*  ═  множество некоторых треугольников */

В табл. 2.6.3 для некоторых ранее введённых идентификаторов приведены синонимичные им англоязычные и аббревиатурные scb-идентификаторы.

Таблица 2.6.3.Англоязычные и аббревиатурные идентификаторы основных понятий языка SCB

Русскоязычный идентификатор	Англоязычный идентификатор		Аббревиатурный идентификатор
пара принадлежности	═	arc;
узловое множество	═	node;
предметное множество	═	object	═	obj;
узловое непредметное множество	═	set;
множество знаков пар принадлежности			═	setArc;
множество знаков узловых множеств			═	setNode;
множество знаков предметных множеств			═	setObj;

Окончание табл. 2.6.3

Русскоязычный идентификатор	Англоязычный идентификатор		Аббревиатурный идентификатор
множество знаков узловых непредметных множеств			═	setSet;
система множеств	═	structure	═	str;
сложноструктурированная система множеств			═	strStr;

При формировании идентификатора scb-элемента может быть условным образом указан тип соответствующегоscb-элемента.Приведем некоторые рекомендуемые правила построения условных обозначений,используемых в качестве простых scb-идентификаторов в табл. 2.6.4. Здесь символ “  ” обозначает scbs-разделитель принадлежности (см. подраздел 2.8).

Таблица 2.6.4.Условные обозначения, используемые в scb-идентификаторах для указания типа scb-элемента

Идентификатор scb-узла, обозначающего множество scb-элементов соответствующего типа		"Шаблон" условного обозначения для scb-элемента указанного типа
неуточняемый scb-элемент		e-⋖ строка ⋗ ; /* без пробелов слева и справа от дефиса */
arc		g-⋖ строка ⋗ ;
node		v-⋖ строка ⋗ ;
obj		o-⋖ строка ⋗ ;
set		s-⋖ строка ⋗ ;
setArc		sg-⋖ строка ⋗ ;
setNode		sv-⋖ строка ⋗ ;
setObj		so-⋖ строка ⋗ ;
setSet		ss-⋖ строка ⋗ ;
str		c-⋖ строка ⋗ ;

Окончание табл. 2.6.4

Идентификатор scb-узла, обозначающего множество scb-элементов соответствующего типа		"Шаблон" условного обозначения для scb-элемента указанного типа
strStr		cc-⋖ строка ⋗ ;

При формировании scb-идентификаторов также допустимо использование натуральных чисел в качестве индексов. Индексы от первой части такого идентификатора и друг от друга отделяются точкой. Например:e.1 ,  e.2 , …,  e.1.1 ,  e.1.2 , …, g.1 ,  g.2 , …,  g.1.1 ,  g.1.2 , …, Точка в языкеSCBиспользуется также в качестве разделителя целой и дробной части числа в составе идентификатора известного числа. В этом случае идентификатор числа совпадает с его десятичным представлением.

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

Идентификатор библиографического источника оформляется жирным курсивом, так как он трактуется как идентификатор предметногоscb-узла, обозначающего текст, опубликованный в виде указанного библиографического источника.

Идентификаторы библиографических источников оформляются по следующим правилам (здесь используются средства расширенного языка Бэкуса-Наура, которые подробнее рассмотрены в подразделе 2.8):

1. Еслиидентификатор библиографической ссылки содержит фамилию первого автора или научного редактора,то:

⋖ идентификатор библиографического источника⋗::   

⋖ фамилия и инициалы первого автора или научного редактора ⋗

⋖ вторая точка⋗/* если указывается первый, но не единственный автор */

ред. ||сост. /* если указанная выше фамилия является фамилией не первого автора, а научного редактора или составителя */

⋖ год издания⋗

[ кн||bk ||уч||спр||ст ||art||сб||слв|| отч||rep||пр||тез||дис||мо||http||mes ]

/* указание типа библиографического источника:

кн – книга (монография); bk – иноязычная книга (монография); уч – учебник, учебное пособие, методическое пособие и т.п.; спр – справочник; ст – статья; art – иноязычная статья; сб – сборник; слв – словарь (в частности, энциклопедический словарь); отч – отчет; rep – иноязычный отчет; пр – препринт; тез – тезисы; дис – диссертация; мо – материалы по математическому обеспечению ЭВМ; http – ссылка на источник в Интернет; mes – иноязычное сообщение и т.п. */

⋖ дефис⋗

⋖ первые пять букв первого слова названия библиографического источника⋗

/* если первым словом является предлог, то указывается первая буква этого предлога (малым шрифтом), а потом (с большой буквы и без пробела) указываются пять букв второго слова */

⋖ первые буквы остальных слов названия⋗

/* большими буквами и без пробелов; малыми буквами пишутся первые буквы предлогов, которые не следуют за словами, сокращаемыми до пятибуквенных аббревиатур */

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

⋖ идентификатор библиографического источника⋗::   

⋖ первые пять букв первого слова названия библиографического источника⋗

/* если первым словом является предлог, то указывается первая буква этого предлога (малым шрифтом), а потом (с большой буквы и без пробела) указываются пять букв второго слова */

⋖ первые буквы остальных слов названия⋗

/* большими буквами и без пробелов; малыми буквами пишутся первые буквы предлогов, которые не следуют за словами, сокращаемыми до пятибуквенных аббревиатур */

⋖ дефис⋗

⋖ год издания⋗

[ кн||bk ||уч||спр||ст ||art||сб||слв|| отч||rep||пр||тез||дис||мо||http||mes ]

/* указание типа библиографического источника */

Например, идентификатор данной книги, сформированный по первому правилу, примет вид “ Голенков В.В.ред.2001кн-ПредстИОЗвГАМ ”, а по второму правилу– “  ПредстИОЗвГАМ-2001кн ”.  

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

Упражнение 2.6.17. Верны ли следующие scbs-тексты:

Знак множества ═ знак множества ;

узел ═ знак множества ;