close

Вход

Забыли?

вход по аккаунту

?

Грамматика (2)

код для вставкиСкачать
цель -> список_ предложений
список_предложений-> предложение. список предложений
/ε
предложение-> факт
/правила
факт-> идентификатор "(" список термов ")"
правило -> факт ":-" список_фактов. терм->число
/ id с большой буквы
/ факт- это структура
/ выражение
Выражения : +, -, *, /, <, >,=
goal->expr
expr->prt expr
| ε
prt->fact
| pravilo
fact-> Idents left_bk или "(" terms terms ")" right_bk
pravilo-> fact ":-"facts "."
facts-> fact "," facts |term
|ε
terms-> term terms
|ε
term-> Num
|Idb
|fact
|znaks
znaks-> "-"
| "+"
| "*"
| "/"
| "<"
| ">"
| "=" 
Документ
Категория
Разное
Просмотров
19
Размер файла
12 Кб
Теги
грамматике
1/--страниц
Пожаловаться на содержимое документа