ВУЗ:
Составители:
Рубрика:
t(х
j
, x
i+1
, x
k
)).
Тогда продукции можно представить в виде пары: pr
52
s
=<q
52
s
, r
52
s
>, где
q
52
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное)) ∧ (∃x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
, существительное),
t(v
(i+1)5
, v
(i+1)5
)) ∧ (Р
Е
(v
(i+1)5
, родительный) ∨ Р
Е
(v
(i+1)5
, предложный)) ∧ Р
3
(ОЧC, t(х
i+1
, x
j
)) ↔ (∃х
i
:X)
(
∃x
j
:X) Р
1
(ОЧCC, t(х
i
, x
j
));
r
52
s
= add [L
4
(D, (x
i
, x
j
)) ∧ L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
j
) ∧ L
2
(x
i+1
)].
И в виде пары pr
53
s
=<q
53
s
, r
53
s
>, где
q
53
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное)) ∧ (∃x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
, существительное),
t(v
(i+1)5
, v
(i+1)5
)) ∧ (Р
Е
(v
(i+1)5
, родительный) ∨ Р
Е
(v
(i+1)5
, предложный)) ∧ Р
4
(ОЧC, t(х
i+1
, x
j
, x
k
)) ↔
(
∃х
i
:X) (∃x
j
:X) Р
1
(ОЧCC, t(х
i
, x
j
)) ∧ (∃х
i
:X) (∃x
k
:X) Р
1
(ОЧCC, t(х
i
, x
k
));
r
53
s
= add [L
4
(D, (x
i
, x
j
)) ∧ L
4
(D, (x
i
, x
i+1
)) ∧ L
4
(D, (x
i
, x
k
)) ∧ L
1
(x
i
) ∧ L
2
(x
j
) ∧ L
2
(x
k
) ∧ L
2
(x
i+1
)].
5. Правило для построения словосочетания ОЧСГ (глагол + однородные члены
существительные). Правило ищет два слова х
i
и х
i+1
, где х
i
– глагол, который может стоять в любой
форме, а х
i+1
– существительное, которое входит в группу ОЧС, например, выдать список и
перечень. Тогда правило представим в виде ситуации: пара лексем х
i
и х
j
через х
i+1
лексему (х
j
,
х
i+1
∈ОЧС) образует словосочетание ОЧСГ тогда и только тогда, когда имеет место закономерность,
описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «глагол» в любой форме - (∃х
i
:X) Р(x
i
, t(v
i1
,
глагол)) и другие предикаты, подобные предикатам первого факта правила 11 предыдущей группы
правил;
2) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «существительное» - (∃x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
3) х
i+1
лексема входит в состав синтаксической группы ОЧС - Р
3
(ОЧС, t(х
j
, x
i+1
)) или Р
4
(ОЧС,
t(х
j
, x
i+1
, x
k
)).
Тогда продукции можно представить в виде пары: pr
54
s
=<q
54
s
, r
54
s
>, где
q
54
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
, инфинитив))) ∧ (∃x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное)) ∧ Р
3
(ОЧС, t(х
j
,
x
i+1
)) ↔ (∃х
i
:X) (∃x
j
:X) Р
1
(ОЧСГ, t(х
i
, x
j
));
r
54
s
= add [L
4
(D, (x
i
, x
j
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
j
)].
И в виде пары pr
55
s
=<q
55
s
, r
55
s
>, где
q
55
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
, инфинитив))) ∧ (∃x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное)) ∧ Р
4
(ОЧС, t(х
j
,
x
i+1
, x
k
)) ↔ (∃х
i
:X) (∃x
j
:X) Р
1
(ОЧСГ, t(х
i
, x
j
)) ∧ (∃х
i
:X) (∃x
k
:X) Р
1
(ОЧСГ, t(х
i
, x
k
));
r
55
s
= add [L
4
(D, (x
i
, x
j
)) ∧ L
4
(D, (x
i
, x
k
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
j
) ∧ L
2
(x
k
)].
6. Правило для построения словосочетания ОЧГС (однородные члены глаголы +
существительное). Правило ищет два слова х
i
и х
i+1
, где х
i
–глагол, который входит в
синтаксическую группу ОЧГП или ОЧИнф, а х
i+1
– существительное или наоборот, например,
114
t(хj, xi+1, xk)). Тогда продукции можно представить в виде пары: pr52s =, где q52 s = (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1, существительное), t(v(i+1)5, v(i+1)5)) ∧ (РЕ(v(i+1)5, родительный) ∨ РЕ(v(i+1)5, предложный)) ∧ Р3(ОЧC, t(хi+1, xj)) ↔ (∃хi:X) (∃xj:X) Р1(ОЧCC, t(хi, xj)); r52s = add [L4(D, (xi, xj)) ∧ L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xj) ∧ L2(xi+1)]. И в виде пары pr53s = , где q53 s = (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1, существительное), t(v(i+1)5, v(i+1)5)) ∧ (РЕ(v(i+1)5, родительный) ∨ РЕ(v(i+1)5, предложный)) ∧ Р4(ОЧC, t(хi+1, xj, xk)) ↔ (∃хi:X) (∃xj:X) Р1(ОЧCC, t(хi, xj)) ∧ (∃хi:X) (∃xk:X) Р1(ОЧCC, t(хi, xk)); r53 s = add [L4(D, (xi, xj)) ∧ L4(D, (xi, xi+1)) ∧ L4(D, (xi, xk)) ∧ L1(xi) ∧ L2(xj) ∧ L2(xk) ∧ L2(xi+1)]. 5. Правило для построения словосочетания ОЧСГ (глагол + однородные члены существительные). Правило ищет два слова хi и хi+1, где хi – глагол, который может стоять в любой форме, а хi+1 – существительное, которое входит в группу ОЧС, например, выдать список и перечень. Тогда правило представим в виде ситуации: пара лексем хi и хj через хi+1 лексему (хj, хi+1∈ОЧС) образует словосочетание ОЧСГ тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 1) хi имеет характеристику vi1∈Vi со значением «глагол» в любой форме - (∃хi:X) Р(xi, t(vi1, глагол)) и другие предикаты, подобные предикатам первого факта правила 11 предыдущей группы правил; 2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)); 3) хi+1 лексема входит в состав синтаксической группы ОЧС - Р3(ОЧС, t(хj, xi+1)) или Р4(ОЧС, t(хj, xi+1, xk)). Тогда продукции можно представить в виде пары: pr54s = , где q54 s = (∃хi:X) (Р(xi, t(vi1, глагол)) ∨ Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi1, глагол- отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив- отрицание)) ∨ Р(xi, t(vi1, инфинитив))) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)) ∧ Р3(ОЧС, t(хj, xi+1)) ↔ (∃хi:X) (∃xj:X) Р1(ОЧСГ, t(хi, xj)); r54 s = add [L4(D, (xi, xj)) ∧ L1(xi+1) ∧ L2(xj)]. И в виде пары pr55s = , где q55 s = (∃хi:X) (Р(xi, t(vi1, глагол)) ∨ Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi1, глагол- отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив- отрицание)) ∨ Р(xi, t(vi1, инфинитив))) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)) ∧ Р4(ОЧС, t(хj, xi+1, xk)) ↔ (∃хi:X) (∃xj:X) Р1(ОЧСГ, t(хi, xj)) ∧ (∃хi:X) (∃xk:X) Р1(ОЧСГ, t(хi, xk)); r55 s = add [L4(D, (xi, xj)) ∧ L4(D, (xi, xk)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xk)]. 6. Правило для построения словосочетания ОЧГС (однородные члены глаголы + существительное). Правило ищет два слова хi и хi+1, где хi –глагол, который входит в синтаксическую группу ОЧГП или ОЧИнф, а хi+1 – существительное или наоборот, например, 114
Страницы
- « первая
- ‹ предыдущая
- …
- 113
- 114
- 115
- 116
- 117
- …
- следующая ›
- последняя »