close

Вход

Забыли?

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

?

грамматика от Гордея (2)

код для вставкиСкачать
цель -> список_ предложений
список_предложений-> предложение. список предложений
/ε
предложение-> факт
/правила
факт-> идентификатор "(" список термов ")"
правило -> факт ":-" список_фактов. терм->число
/ id с большой буквы
/ факт- это структура
/ выражение
Выражения : +, -, *, /, <, >,=
GOAL->SLIST
SLIST->SENTENCE . SLIST
SLIST-> ε
SENTENCE->FACT
FACT->FACT1 RULE
RULE->:- FLIST
RULE-> ε
FACT1-> ids ( TLIST )
TLIST->TERM TL
TL->, TLIST
TL-> ε
FLIST->FACT1 FL
FL->, FLIST
FL-> ε
TERM-> TERM1 TT
TERM->FACT1
TERM1-> idb
TERM1-> num
TT-> SIGN TERM1
TT-> ε
SIGN-> +
SIGN-> -
SIGN-> *
SIGN-> /
SIGN-> <
SIGN-> >
SIGN-> =
Документ
Категория
Разное
Просмотров
11
Размер файла
14 Кб
Теги
грамматике, гордея
1/--страниц
Пожаловаться на содержимое документа