ВУЗ:
Составители:
Рубрика:
существительное));
2) х
i+1
имеет характеристику v
(i+1)1
со значением «числительное» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
числительное)).
Тогда продукцию можно представить в виде: pr
33
s
=<q
33
s
, r
33
s
>, где
q
33
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, числительное)) ↔ (∃х
i
:X)
(
∃x
i+1
:X) Р
1
(СЧ, t(х
i
, x
i+1
));
r
33
s
= add [L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
Ситуация вторая: пара лексем х
i
и х
i+1
образует пару СЧ тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «числительное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
числительное));
2) х
i+1
имеет характеристику v
(i+1)1
со значением «существительное» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
существительное)).
Тогда продукцию можно представить в виде: pr
34
s
=<q
34
s
, r
34
s
>, где
q
34
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, числительное)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное)) ↔ (∃х
i
:X)
(
∃x
i+1
:X) Р
1
(СрП, t(х
i
, x
i+1
));
r
34
s
= add [L
4
(D, (x
i+1
, x
i
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
i
)]; elim [ (X, {x
i
})].
8. Правило для построения словосочетания НГ (наречие + глагол). Правило ищет два
контактно стоящих слова х
i
и х
i+1
, где х
i
–наречие, а х
i+1
– глагол или глагол прошедшего времени
или глагол-отрицание или глагол прошедшего времени-отрицание или инфинитив или инфинитив-
отрицание, или, наоборот, х
i
– глагол и т.п., а х
i+1
–наречие, например, хорошо учиться. В
результате формируется словосочетание (х
i
, х
i+1
), где х
i
- одна из форм глагола и главное слово, х
i+1
– наречие и зависимое слово или наоборот. Правило можно представить в виде двух ситуаций,
подобных предыдущему случаю. Поэтому продукции можно представить в виде: pr
35
s
=<q
35
s
, r
35
s
> и
pr
36
s
=<q
36
s
, r
36
s
>, где
q
35
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, наречие)) ∧ (∃х
i+1
:X) (Р(x
i+1
, t(v
(i+1)1
, глагол)) ∨ Р(x
i+1
, t(v
(i+1)1
, глагол
прошедшего времени))
∨ Р(x
i+1
, t(v
(i+1)1
, глагол-отрицание)) ∨ Р(x
i+1
, t(v
(i+1)1
, глагол прошедшего
времени-отрицание))
∨ Р(x
i+1
, t(v
(i+1)1
, инфинитив-отрицание))∨ Р(x
i+1
, t(v
(i+1)1
, инфинитив))) ↔
(
∃х
i
:X) (∃x
i+1
:X) Р
1
(НГ, t(х
i
, x
i+1
));
r
35
s
= add [L
4
(D, (x
i+1
, x
i
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
i
)]; elim [(X, {x
i
})];
q
36
s
= (∃х
i
:X) (Р(x
i
, t(v
i1
, глагол)) Р(x
i
, t(v
i1
, глагол прошедшего времени)) ∨ Р(x
i
, t(v
i1
, глагол-
отрицание))
∨ Р(x
i
, t(v
i1
, глагол прошедшего времени-отрицание)) ∨ Р(x
i
, t(v
i1
, инфинитив-
отрицание))
∨ Р(x
i
, t(v
i1
, инфинитив))) ∨ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, наречие)) ↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(СЧ,
t(х
i
, x
i+1
));
r
36
s
= add [L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
9. Правило для построения словосочетания СущП (существительное + прилагательное).
Правило ищет два слова х
i
и х
i+1
, где х
i
–существительное, а х
i+1
– прилагательное или наоборот. Их
морфологические характеристики - число, падеж и род - должны совпадать, например,
электротехнического факультета, студент спортивный. Представим правило в виде двух
107
существительное)); 2) хi+1 имеет характеристику v(i+1)1 со значением «числительное» - (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)). Тогда продукцию можно представить в виде: pr33s =, где q33s= (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)) ↔ (∃хi:X) (∃xi+1:X) Р1(СЧ, t(хi, xi+1)); r33s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})]. Ситуация вторая: пара лексем хi и хi+1 образует пару СЧ тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 1) хi имеет характеристику vi1∈Vi со значением «числительное» - (∃хi:X) Р(xi, t(vi1, числительное)); 2) хi+1 имеет характеристику v(i+1)1 со значением «существительное» - (∃хi+1:X) Р(xi+1, t(v(i+1)1, существительное)). Тогда продукцию можно представить в виде: pr34s = , где q34s= (∃хi:X) Р(xi, t(vi1, числительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, существительное)) ↔ (∃хi:X) (∃xi+1:X) Р1(СрП, t(хi, xi+1)); r34s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [ (X, {xi})]. 8. Правило для построения словосочетания НГ (наречие + глагол). Правило ищет два контактно стоящих слова хi и хi+1, где хi –наречие, а хi+1 – глагол или глагол прошедшего времени или глагол-отрицание или глагол прошедшего времени-отрицание или инфинитив или инфинитив- отрицание, или, наоборот, хi – глагол и т.п., а хi+1 –наречие, например, хорошо учиться. В результате формируется словосочетание (хi, хi+1), где хi- одна из форм глагола и главное слово, хi+1 – наречие и зависимое слово или наоборот. Правило можно представить в виде двух ситуаций, подобных предыдущему случаю. Поэтому продукции можно представить в виде: pr35s = и pr36s = , где q35s = (∃хi:X) Р(xi, t(vi1, наречие)) ∧ (∃хi+1:X) (Р(xi+1, t(v(i+1)1, глагол)) ∨ Р(xi+1, t(v(i+1)1, глагол прошедшего времени)) ∨ Р(xi+1, t(v(i+1)1, глагол-отрицание)) ∨ Р(xi+1, t(v(i+1)1, глагол прошедшего времени-отрицание)) ∨ Р(xi+1, t(v(i+1)1, инфинитив-отрицание))∨ Р(xi+1, t(v(i+1)1, инфинитив))) ↔ (∃хi:X) (∃xi+1:X) Р1(НГ, t(хi, xi+1)); r35s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [(X, {xi})]; q36s= (∃хi:X) (Р(xi, t(vi1, глагол)) Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi1, глагол- отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив- отрицание))∨ Р(xi, t(vi1, инфинитив))) ∨ (∃хi+1:X) Р(xi+1, t(v(i+1)1, наречие)) ↔ (∃хi:X) (∃xi+1:X) Р1(СЧ, t(хi, xi+1)); r36s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})]. 9. Правило для построения словосочетания СущП (существительное + прилагательное). Правило ищет два слова хi и хi+1, где хi –существительное, а хi+1 – прилагательное или наоборот. Их морфологические характеристики - число, падеж и род - должны совпадать, например, электротехнического факультета, студент спортивный. Представим правило в виде двух 107
Страницы
- « первая
- ‹ предыдущая
- …
- 106
- 107
- 108
- 109
- 110
- …
- следующая ›
- последняя »