25 Et- Основные понятия(по Частикову) clips – основные понятия

1.Clips – синтаксис определений

Частиков/с. 148

Терминальный символ – слово или выражение, не заключенное в угловые скобки.

[Не требует дальнейшего определения].

Нетерминальный символ - слово или выражение в угловых скобках напр., <string>

Он требует дальнейшего определения.

Если за нетерминальным символом следует символ * - это значит, что в данном месте может находиться список из НУЛЯ или более элементов ЭТОГО ТИПА.

Если за нетерминальным символом следует символ + - это значит, что в данном месте может находиться список из ОДНОГО или более элементов ЭТОГО ТИПА.

Символы * и + , встречающиеся сами по себе (не после нетерминальных символов) – являются терминальными.

Элементы, заключенные в квадратные скобки, являются необязательными элементами. Напр., [ < комментарий > ].

Символ ::=

[используется для определения данного нетерминального символа.] .

Он означает необходимость замены данного нетерминального символа [другими нетерминальными или терминальными символами].

[После символа ::= записываются символы, на которые может быть заменен данный нетерминальный символ.

Это может быть один символ или список символов, разделенных вертикальной чертой (между символами и этой чертой должен быть ПРОБЕЛ !- ЕТ), которая означает, что данный нетерминальный символ должен быть заменен каким-либо ОДНИМ из символов, разделенных вертикальной чертой ].

Примеры:

(1) <lexeme> ::= <symbol> | <string>

Означает, что нетерминальный символ <lexeme>, встречающийся в некотором определении, должен быть заменен либо на символ <symbol>, либо на символ <string>.

(2) Представление целого числа.

< целое> ::= [ + | - ] < цифра> +

{ЕТ- коммент.

(1). Из [+ | - ]надо выбрать + или - .

(2). +после <цифра> означает, что в

данном месте может находиться

список из ОДНОГО или более

элементов этого типа, т.е. типа

< цифра>}, т.е. из след-щего списка

< цифра> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

{ЕТ- коммент: надо выбрать одну из цифр

данного списка}

Примеч.CLIPSвоспринимает только лат. шрифт. Здесь кириллица использована только для наглядности.

……………………………………………………………………………………