ГОСТ Р ИСО 18629-11— 2010
В частях с 11 по 19 комплекса стандартов ИСО 18629 приведены основные теории, необходимые для
представления точных определений и аксиом элементарных концепций. Основныетеории обеспечивают
точные семантические переводы между разными схемами.
Части с 11 по 19 распространяются на:
- представление основных элементов языка:
-обеспечение стандартизованных наборов аксиом, соответствующих интуитивным элементарным се
мантическим концепциям описания основных процессов:
- свод правил, необходимых для разработки других основных теорий или расширений всоответствии
с ядром языка спецификации процесса.
Данные части комплекса стандартов И С 018629 не распространяются на представление информа
ции. относящейся к концепциям, не являющимся частью основных теорий.
5 Синтаксис спецификации языка
В настоящем разделе приведено определение и описание языка, установленного в комплексе стан
дартов ИСО 18629. с помощью расширенной формы Бэкуса-Наура (BNF) (см. приложение D). Основой
синтаксиса, описание которого приведено ниже, является синтаксисформата обмена знаниями (KIF). пред
ставленного в приложении В.
П р и м е ч а н и е — Дополнительная информация приведена в [7] и [8].
5.1 Основные символы и синтаксические категории
Основные символы, которые следует использоватьдля спецификации описания любого процесса на
языке PSL. определяют с помощью следующей формы Бэкуса-Наура:
- <uc-letter> ::=А | B | C |D |E |F |G |H |l |J |K |L |M |N |0 |P |Q |R |S |T |U |V |V V |X |Y |Z
- <Ые«ег> : := a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t J u | v | w | x | y | z
- <letter> ::= <uc4etter> | <lc-letter>
- <digit> ;:= 0 M | 2 | 3 14 |S| в | 7 | 8 | 9
- <орег> ::=- 1- 1# |$ | * | + 1/
- < p u n d > : : = _ | - | - | ! ! @ | # | $ | % n & r i ( l ) l + l =r |:|: I’I< I> I.M ?|/Illllll{|} l< spac e>
Выражение представляет собой любую последовательность основных символов.
Существуют пять следующих основных категорий выражения:
- <Ь-соп> ::= (<lc-Jetter> | <digit>} {<Jetter> | <digit>}’ {{_ | -} {<letter> | <d*git>»"
- <b-var> ::= ?<Ь-соп>П
- <b-func>{<oper> | <uc-letter>} {<letter> | <digit>}* {{_ | -} {<Je»ter> | <digit>»*
- <b-pred> ::= {<uc-tetter>} {<Jetter> | <digit>}* {{_ | -} {<letter> | <digit>}}*
- <doc-string> ::= * {<!etter> | <digit> | <puncl> | V |\\ }* *
Выражение, выведенное из нетерминального символа <Ь-сол>. является последовательностью бук
венно-цифровых символов, тире и символов подчеркивания. Последовательность начинается с буквы или
цифры нижнего регистра, в которой каждое тире и символ подчеркивания ограничены буквой или цифрой.
Выражение <b-var> — это результат задания префикса <Ь-соп> с вопросительным знаком и необязательно с
присоединением на конце одинарной кавычки (штриха). Выражение <b-func> аналогично выражению <Ь-
соп> за исключением того, что оно должно начинаться либо с <oper>. <punc>. либо с буквы верхнего
регистра, а выражение <b-prod> аналогично выражению <Ь-соп> за исключением того, что оно должно
начинаться с буквы верхнего регистра (таким образом, каждое выражение <b-pred> является выражением
<b-func>). Выражение <doc-string> — это результат заключения в кавычки любой последовательности сим
волов; двойные кавычки и обратная (правая) косая черта могут использоваться до тех пор. пока им пред
шествует обратная (правая) косая черта.
5.2 Лексика
Язык первого порядка L языка спецификации процесса состоит из терминов словаря и грамматики.
Лексика обеспечивает основные слова языка, а грамматика устанавливает, как могут быть использованы
лексические элементы для построения сложных, правильно сформированных выражений языка.
Словарь PSL (lexicon X) состоит из:
- выражения <space>, (,), not, and. or, implies, iff. forall и exists:
- нетерминальной рекурсивной совокупности V, выражений <b-var>. известных как переменные /.;
5