Г Р А Ф И Т — б а з и с

Инфологическое обеспечение | Языковое | Метаязыковые средства

Содержание

Естественный язык

Лексика языка

Правила языка

Язык документа

Общие замечания

Стандартный аппарат

Язык расширенных Бэкуса-Наура форм (РБНФ)

Лексика языка

Правила языка

Графит-расширение РБНФ-языка

Естественный язык

Служит изначальным средством представления произвольных знаний.

Лексика языка

Существует два подхода к определению ЕЯ, затрагивающих всё его содержание, начиная с лексики. А именно:

Иногда эти подходы противопоставляются, но это необязательно. Так, можно предполагать, что реальному искусственному объекту соответствует его знаковое описание, и тем самым свести язык «в широком смысле» к языку письменной/устной речи. Такое описание м.б. и детальным (т.н. изданием, или публикацией объекта), и ссылкой на издание, и просто указанием на объект (для ознакомления с ним).

В начало страницы

Правила языка

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

В правилах построения языка много неопределённостей, исключений. В целом языки различают по их грамматическому строю (т.н. ЕЯ-парадигме). Выделяют несколько строёв языка.

В начало страницы

Язык документа

Общие замечания

В документе автор по возможности придерживается единого подхода к формализации. Поэтому терминология разных предметных областей максимально гармонизируется, употребляются единые графические обозначения (насколько это возможно), в естественно-языковом тексте для указания вхождений употребляются РБНФ-операторы также, как и в формальном. Если иное не указано, то областью действия РБНФ в тексте является отдельное предложение.

Термины употребляются с учётом положений п/р 4.4.



В начало страницы

Стандартный аппарат

Условные обозначения и сокращения для текста (кроме определяемых далее для графит-языков) введены в п/р 1.1 Приложения 1.

Условные обозначения и сокращения для графики (кроме определяемых далее для графит-языков) введены в п/р 1.2 Приложения 1.

В начало страницы

Язык расширенных Бэкуса-Наура форм (РБНФ)

Служит математически формальному описанию языков (как цепочек знаков, выбираемых из конечного алфавита).

Лексика языка

Алфавит РБНФ образуют следующие символы:

Символ

Наименование, краткая характеристика

@

Утверждение - служит признаком начала условия корректности (применимости)

#

Индексатор — представляет индекс предложения языка по некой системе нумерации (определяемой не обязательно в базовом языке) или часть такого индекса

'терминальный символ'

Терминал – символ-цепочка букв алфавита текста, входящая в текст «как есть» (апострофы отбрасываются, "_" заменяется на знак пробела).

символ-нетерминал

Нетерминал – символ-имя в особой записи (выделяющей среди других текстов), вместо которого в текст входит его определение через подстановку.

::=

Подстановка – определение нетерминала в правой части через выражение в левой (из символов, возможно, связанных операциями).

|

Вертикальная черта – операция ИЛИ; разделяет варианты значения к.-л. нетерминала (символы, выражения), из которых один входит в текст.

Двойная вертикальная черта – операция И/ИЛИ; разделяет варианты значения к.-л. нетерминала, из которых любой может входить в текст.

&|', '

Амперсанд|запятая – операция И; разделяет значения, входящие в текст вместе (запятая употребляется для формы РБНФ-кортежа).

<содержание>

Угловые скобки – конструкция обязательного (ровно один раз) вхождения содержания в данное место РБНФ-определяемого предложения.

[содержание]

Квадратные скобки – конструкция необязательного (но неповторяемого) вхождения содержания в текст нуль или один раз.

{содержание}

Фигурные скобки – конструкция вхождения содержания в текст, повторяемого от нуля до любого конечного числа раз подряд.



→ ← ↔



↑ ↓ ↕


<две стрелки подряд>

<три знака подряд

Диокоординаторы – указывают порядок РБНФ-графит-подстановок. Знак (группа знаков) предписывает (сверху вниз):

  • следование повторов фрагмента (в фигурных скобках) по горизонтали (в одну или любую сторону от места нахождения);

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

  • следование повторов фрагмента (в фигурных скобках) по вертикали (в одну или любую сторону);

  • независимое следование повторов фрагмента (по горизонтали, по вертикали, в обоих направлениях); стрелки д.б. по разным координатам;

  • зависимое следование повторов фрагмента (хотим двигаться по средней стрелке — должны ещё и по крайним знакам).

Очередное следование в любую сторону считается выбираемым произвольно.

(*

Начало комментария - открывает неисполняемую часть в РБНФ-тексте

*)

Конец комментария - закрывает неисполняемую часть в РБНФ-тексте

Терминалы являются знаками алфавита языка, определяемого через РБНФ.

В начало страницы

Правила языка

Вхождения знаков в текст определяются правилами (РБНФ-продукциями) вида:


РБНФ-ТЕРМ ::= <ТЕРМИНАЛ|НЕТЕРМИНАЛ>.


РБНФ-ОПЕР ::= <'|'|'║'|'&'>.


РБНФ-КОММ ::= '(*'<ТЕКСТ-КОММ>'*)'.


РБНФ-ВЫР ::= ◊1<РБНФ-ТЕРМ>i{РБНФ-ОПЕР<РБНФ-ТЕРМ>}*NОпРБНФ[РБНФ-КОММ].


ИНД-ПОЗ ::= Имя.


<ОТКР&ЗАКР>-СК ::= <'<'&'>'|'['&']'|'{'&'}'>.


НАЧ ::= <'*'='0'|'+'='1'>.


КОН ::= <Имя|ЧИСЛО>.


ПРОСТОЕ-РБНФ-ОПР ::= [ДИО-КООРД][ИНД-ПОЗ]<ОТКР-СК>РБНФ-ВЫР<ЗАКР-СК>[НАЧ[КОН]].


ПРОСТАЯ-ПРАВ-ЧАСТЬ ::= ['@'УСЛ-ПРИМ' ?:']ПРОСТОЕ-РБНФ-ОПР[РБНФ-КОММ].


РБНФ-ОПР ::= ['@'УСЛ-ПРИМ' ?:'][ДИО-КООРД][ИНД-ПОЗ]<ОТКР-СК>РБНФ-<ВЫР|ОПР><ЗАКР-СК>[НАЧ[КОН]][РБНФ-КОММ]. (*Рекурсия раскрывает определение до вложенных выражений в скобках, м.б. координированных, обусловленных и/или комментированных.*)


ПРАВ-ЧАСТЬ ::= <РБНФ-ОПР|ПРАВ-ЧАСТЬ>.(*Рекурсия раскрывает правую часть до цепочки определений. Рекомендуется, чтобы все операции были одинаковы.*)


ЛЕВ-ЧАСТЬ ::= НЕТЕРМИНАЛ[РБНФ-КОММ].


РБНФ-ПРОДУКЦИЯ ::= ЛЕВ-ЧАСТЬ' ::= 'ПРАВ-ЧАСТЬ'.'.


Правила, не связанные через нетерминалы, считаются применяемыми произвольно.

Для информатизации РБНФ-языка м.б. введены условия применения правил.

Рекурсивные определения обязательно содержат в структуре выбор наряду с определяемым понятием также альтернативного, вхождение которого завершает рекурсию. РБНФ-метаязык самоопределяемый, т.е. его определение дано по его же правилам.

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

В начало страницы

Графит-расширение РБНФ-языка

Расширяет язык на терминалы, не являющиеся литерами (по сути — неодномерно упорядчиваемыми). Для этой цели:

В конкретном применении правила м.б. различными.

В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.