Инфологическое обеспечение | Языковое | Метаязыковые средства
Содержание
Язык расширенных Бэкуса-Наура форм (РБНФ)
Служит изначальным средством представления произвольных знаний.
Существует два подхода к определению ЕЯ, затрагивающих всё его содержание, начиная с лексики. А именно:
письменностный — предполагает, что знаками языка служат только письменные объекты (и соответствующие им звуки речи);
семиотический — считает знаками языка (понимаемого «в широком смысле») любые объекты, созданные человеком (культурные, искусственные).
Иногда эти подходы противопоставляются, но это необязательно. Так, можно предполагать, что реальному искусственному объекту соответствует его знаковое описание, и тем самым свести язык «в широком смысле» к языку письменной/устной речи. Такое описание м.б. и детальным (т.н. изданием, или публикацией объекта), и ссылкой на издание, и просто указанием на объект (для ознакомления с ним).
Описываются в естественном языкознании. Строго говоря, о другой ветви языкознания — искусственной — до недавнего времени говорить не приходилось. Она возникает в настоящее время как результат развития искусственных языков (прежде всего программирования и спецификации программ). При этом из-за оторванности машинной информатики от гуманитарных наук даже работы по ИЯ, фактически относящиеся к этой области, обычно не представляются (и не воспринимаются) как языковедческие.
В правилах построения языка много неопределённостей, исключений. В целом языки различают по их грамматическому строю (т.н. ЕЯ-парадигме). Выделяют несколько строёв языка.
В документе автор по возможности придерживается единого подхода к формализации. Поэтому терминология разных предметных областей максимально гармонизируется, употребляются единые графические обозначения (насколько это возможно), в естественно-языковом тексте для указания вхождений употребляются РБНФ-операторы также, как и в формальном. Если иное не указано, то областью действия РБНФ в тексте является отдельное предложение.
Термины употребляются с учётом положений п/р 4.4.
Условные обозначения и сокращения для текста (кроме определяемых далее для графит-языков) введены в п/р 1.1 Приложения 1.
Условные обозначения и сокращения для графики (кроме определяемых далее для графит-языков) введены в п/р 1.2 Приложения 1.
Язык расширенных Бэкуса-Наура форм (РБНФ)
Служит математически формальному описанию языков (как цепочек знаков, выбираемых из конечного алфавита).
Алфавит РБНФ образуют следующие символы:
Терминалы являются знаками алфавита языка, определяемого через РБНФ.
Вхождения знаков в текст определяются правилами (РБНФ-продукциями) вида:
РБНФ-ТЕРМ ::= <ТЕРМИНАЛ|НЕТЕРМИНАЛ>.
РБНФ-ОПЕР ::= <'|'|'║'|'&'>.
РБНФ-КОММ ::= '(*'<ТЕКСТ-КОММ>'*)'.
РБНФ-ВЫР ::= ◊1<РБНФ-ТЕРМ>↔i{РБНФ-ОПЕР<РБНФ-ТЕРМ>}*NОпРБНФ[РБНФ-КОММ].
ИНД-ПОЗ ::= Имя.
<ОТКР&ЗАКР>-СК ::= <'<'&'>'|'['&']'|'{'&'}'>.
НАЧ ::= <'*'='0'|'+'='1'>.
КОН ::= <Имя|ЧИСЛО>.
ПРОСТОЕ-РБНФ-ОПР ::= [ДИО-КООРД][ИНД-ПОЗ]<ОТКР-СК>РБНФ-ВЫР<ЗАКР-СК>[НАЧ[КОН]].
ПРОСТАЯ-ПРАВ-ЧАСТЬ ::= ['@'УСЛ-ПРИМ' ?:']ПРОСТОЕ-РБНФ-ОПР[РБНФ-КОММ].
РБНФ-ОПР ::= ['@'УСЛ-ПРИМ' ?:'][ДИО-КООРД][ИНД-ПОЗ]<ОТКР-СК>РБНФ-<ВЫР|ОПР><ЗАКР-СК>[НАЧ[КОН]][РБНФ-КОММ]. (*Рекурсия раскрывает определение до вложенных выражений в скобках, м.б. координированных, обусловленных и/или комментированных.*)
ПРАВ-ЧАСТЬ ::= <РБНФ-ОПР|ПРАВ-ЧАСТЬ>.(*Рекурсия раскрывает правую часть до цепочки определений. Рекомендуется, чтобы все операции были одинаковы.*)
ЛЕВ-ЧАСТЬ ::= НЕТЕРМИНАЛ[РБНФ-КОММ].
РБНФ-ПРОДУКЦИЯ ::= ЛЕВ-ЧАСТЬ' ::= 'ПРАВ-ЧАСТЬ'.'.
Правила, не связанные через нетерминалы, считаются применяемыми произвольно.
Для информатизации РБНФ-языка м.б. введены условия применения правил.
Рекурсивные определения обязательно содержат в структуре выбор наряду с определяемым понятием также альтернативного, вхождение которого завершает рекурсию. РБНФ-метаязык самоопределяемый, т.е. его определение дано по его же правилам.
Угловые скобки в ряду скобочных выражений могут не ставиться и тогда подразумеваются (на границах, определяемых операциями и/или скобками, закрывающей слева предшествующее выражение и открывающей справа последующее).
Расширяет язык на терминалы, не являющиеся литерами (по сути — неодномерно упорядчиваемыми). Для этой цели:
вводятся альтернативные формы РБНФ-знаков, как показано в п/р 1.2 Приложения 1;
устанавливается применение этих знаков к неодномерному порядку терминалов.
В конкретном применении правила м.б. различными.
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.