Предыдущая страница реферата | 1  2  3 | Следующая страница реферата



NP —> DET N

VP —> V VP

VP —> P V NP

NPR —> John, Mary, Bill

N —> paper, man, cow

V —> wanted, meet, want

P —> to
DET —> the

Несколько формальных свойств ГНС:
Если все правила некоторой ГНС G являются контекстно сводными, то G называется контекстно свободной грамматикой (КСГ). Если некоторые правила
ГНС являются контекстно зависимыми, то G разывается КЗГ.
Строчный язык некоторой ГНС G определяется как набор всех конечных строк, полученных из G и этот набор обозначается L(G). Строка w считается полученной из G, если w можно получить при последовательном переписывании начального символа S, используя правила грамматики G. Строчный язык L (т.е. набор конечнных строк) называется контексто свободным языком (КСЯ), если существует такая КСГ, что L(G)=L. L называется “строго контекстно зависимым языком”, если не существует такой КСГ, что КСГ, что L(G)=L, и существунт такая КЗГ, что L(G)=L. Заметьте, что грамматика G может быть контекстнозависимой, но ее строчный язык L(G) не обязательно должен быть
КЗЯ. Класс КЗЯ включает класс КСЯ. В этом смысле, КЗЯ являются более мощным чем КСЯ.
Однако есть и другой случай, когда КЗЯ не являются более мощными чем КСЯ.
Если некоторая КЗГ, G, используется для “анализа”, в этом случае язык анализируемый при поиощи G - контекстносвободный (6, 7). Для того чтобы объяснить использование КЗГ G для анализа данного дерева t, определим анализ t следующим образом. Груба говоря анализ t представляет собой некий срез дерева. Дадим более точное определение: Набор (Pt) для анализа дерева t определяется следующим образом
1. Если t=( (пустое дерево), тогда Pt = (
2. Если t=

A

t0 t1 .... tn

тогда Pt={A} v P(t0)P(t1)....P(tn) где t0, t1 ....tn - деревья, А “ . “ обозначает соединение; например:

S

A B

C d E

c e

Pt = {S, AB, AE, Ae, CdB, CdE, Cde,cdB, cdE, cde}

Пусть G - контекстно зависимая грамматика, т.е. ее правила имеют форму

А-->(/( - ( где А ( V - ( (V - алфавит, и ( набор терминальных символов), ( ( V+
(набор ненулевых строк на множестве V) и (, ( ( V* (набор всех строк на V).
Если ( и ( - равны нулю, то такое правило называется контекскносвободным.
Дерево t называется “анализируемым ” в терминах грамматики G, если для каждого узла дерева t выполняются правила G. Контекстно зависимое правило А-
-> (/( - ( выполняется для узла А, если строка соответствующая ответвлению от узла А, является ( и существует анализ t вида (1(А((2 , где (1, (2 ( V*.
Контекстное условие ( - ( называется анализом предиката.
Наряду с контекстозависимымми правилами правилами, позволяющими специфицировать “правый” и “левый” контекст, часто необходимо иметь правила специфицирующие “верхний” и “нижний” контекст. Имеем узел А дерева t, область (( - (), (, ( ( V*, содержит узел А, если существует путь от корня до края дерева, и этот путь имеет форму

(1(А((2 ((1, (2 ( V*).

Контекстное условие, связанное с таким “вертикальным” анализом называется
“господствующим предикатом”.
В общем виде правило имеет форму

А -->(/СА

где СА - булева комбинация анализа и господствующих предикатов.
Пусть G - конечный набор правил и ((G) - набор деревьев, анализируемый G.
Предполагается, что деревья ((G) - предложения; т.е. корневой узел дерева
((G) обозначен начальным символом S, а конечные узлы - терминальными символами. Покажем, что строчный язык L(((G)) = {x(x, где х терминальная строка дерева t, и t ( ((G)} контекстно свободен (7).
Пример: Пусть V = {S, T, a, b, c, e} и ( = {a, b, c, e}, и G - конечный набор строгих правил.
1. S -->e
2. S --> aT
3. T --> aS
4. S --> bTc / (a_()) ( DOM (T_)
5. T --> bSc / (a_()) ( DOM (S_)

Для правил 1, 2, 3 имеет место нулевой контекст и эти правила - контекстносвободные. В четвертом и пятом правиле по условию требуется а слева и узел подчиняется Т (в пятом правиле S).
Язык, порожденный G, может быть порожден G1:

S --> e S --> aT1

S --> aT T--> aS1

Рекомендуем скачать другие рефераты по теме: ответы гиа, контрольная по русскому.

Предыдущая страница реферата | 1  2  3 | Следующая страница реферата