ВУЗ:
Составители:
Рубрика:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «числительное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
числительное));
2) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «числительное» - (∃х
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, числительное));
3) х
i+2
имеет характеристику v
(i+2)1
∈V
i+2
со значением «союз» - (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
союз));
4) х
i+3
имеет характеристику v
(i+3)1
∈V
i+3
со значением «числительное» - (∃х
i+3
:X) Р(x
i+3
,
t(v
(i+3)1
, числительное)).
Тогда продукция записывается в виде: pr
10
s
=<q
10
s
, r
10
s
>, где
q
10
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, числительное)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, числительное)) ∧ (∃х
i+2
:X)
Р(x
i+2
, t(v
(i+2)1
, союз)) ∧ (∃х
i+3
:X) Р(x
i+3
, t(v
(i+3)1
, числительное))↔ (∃х
i
:X) (∃x
i+1
:X) (∃x
i+3
:X) Р
2
(ОЧЧ,
t(x
i
, x
i+1
, х
i+3
));
r
10
s
= add [P
4
(ОЧЧ, t(х
i
, x
i+1
, x
i+3
)]; elim [(X, {х
i+1
, x
i+2
, x
i+3
}].
Второе правило – pr
11
s
=<q
11
s
, r
11
s
>, где
q
11
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, числительное)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, союз)) ∧ (∃х
i+2
:X) Р(x
i+2
,
t(v
(i+2)1
, числительное)) ∧
)),(,(
1)3(3
оечислительнvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+2
:X) Р
1
(ОЧЧ, t(x
i
, x
i+2
));
r
11
s
= add [P
3
(ОЧЧ, t(х
i
, x
i+2
)]; elim [(X, {х
i+1
, x
i+2
}].
Третье правило – pr
12
s
=<q
12
s
, r
12
s
>, где
q
12
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, числительное)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, числительное)) ∧
)),(,(
1)2(2
оечислительнvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(ОЧП, t(x
i
, x
i+1
));
r
12
s
= add [P
3
(ОЧЧ, t(х
i
, x
i+1
)]; elim [(X, {х
i+1
}].
Ситуация четвертая - правило первое: лексемы х
i,
х
i+1
, х
i+2
и х
i+3
образуют синтаксическую
группу ОЧН (однородные члены наречия) тогда и только тогда, когда имеет место закономерность,
описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «наречие» - (∃х
i
:X) Р(x
i
, t(v
i1
, наречие));
2) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «наречие» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
наречие));
3) х
i+2
имеет характеристику v
(i+2)1
∈V
i+2
со значением «союз» - (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
союз));
4) х
i+3
имеет характеристику v
(i+3)1
∈V
i+3
со значением «наречие» - (∃х
i+3
:X) Р(x
i+3
, t(v
(i+3)1
,
наречие)).
Тогда продукция записывается в виде: pr
13
s
=<q
13
s
, r
13
s
>, где
q
13
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, наречие)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, наречие)) ∧ (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
союз))
∧ (∃х
i+3
:X) Р(x
i+3
, t(v
(i+3)1
, наречие))↔ (∃х
i
:X) (∃x
i+1
:X) (∃x
i+3
:X) Р
2
(ОЧН, t(x
i
, x
i+1
, х
i+3
));
r
13
s
= add [P
4
(ОЧН, t(х
i
, x
i+1
, x
i+3
)]; elim [(X, {х
i+1
, x
i+2
, x
i+3
}].
Второе правило – pr
14
s
=<q
14
s
, r
14
s
>, где
q
14
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, наречие)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, союз)) ∧ (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
наречие))
∧
)),(,(
1)3(3
наречиеvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+2
:X) Р
1
(ОЧН, t(x
i
, x
i+2
));
r
14
s
= add [P
3
(ОЧН, t(х
i
, x
i+2
)]; elim [(X, {х
i+1
, x
i+2
}].
99
1) хi имеет характеристику vi1∈Vi со значением «числительное» - (∃хi:X) Р(xi, t(vi1, числительное)); 2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «числительное» - (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)); 3) хi+2 имеет характеристику v(i+2)1∈Vi+2 со значением «союз» - (∃хi+2:X) Р(xi+2, t(v(i+2)1, союз)); 4) хi+3 имеет характеристику v(i+3)1∈Vi+3 со значением «числительное» - (∃хi+3:X) Р(xi+3, t(v(i+3)1, числительное)). Тогда продукция записывается в виде: pr10s =, где q10s= (∃хi:X) Р(xi, t(vi1, числительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)) ∧ (∃хi+2:X) Р(xi+2, t(v(i+2)1, союз)) ∧ (∃хi+3:X) Р(xi+3, t(v(i+3)1, числительное))↔ (∃хi:X) (∃xi+1:X) (∃xi+3:X) Р2(ОЧЧ, t(xi, xi+1, хi+3)); r10s = add [P4(ОЧЧ, t(хi, xi+1, xi+3)]; elim [(X, {хi+1, xi+2, xi+3}]. Второе правило – pr11s = , где q11s= (∃хi:X) Р(xi, t(vi1, числительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, союз)) ∧ (∃хi+2:X) Р(xi+2, t(v(i+2)1, числительное)) ∧ P( xi +3 , t (v (i +3)1 , числительное)) ↔ (∃хi:X) (∃xi+2:X) Р1(ОЧЧ, t(xi, xi+2)); r11s = add [P3(ОЧЧ, t(хi, xi+2)]; elim [(X, {хi+1, xi+2}]. Третье правило – pr12s = , где q12s= (∃хi:X) Р(xi, t(vi1, числительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)) ∧ P ( xi + 2 , t (v ( i + 2 )1 , числительное)) ↔ (∃хi:X) (∃xi+1:X) Р1(ОЧП, t(xi, xi+1)); r12s = add [P3(ОЧЧ, t(хi, xi+1)]; elim [(X, {хi+1}]. Ситуация четвертая - правило первое: лексемы хi, хi+1, хi+2 и хi+3 образуют синтаксическую группу ОЧН (однородные члены наречия) тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 1) хi имеет характеристику vi1∈Vi со значением «наречие» - (∃хi:X) Р(xi, t(vi1, наречие)); 2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «наречие» - (∃хi+1:X) Р(xi+1, t(v(i+1)1, наречие)); 3) хi+2 имеет характеристику v(i+2)1∈Vi+2 со значением «союз» - (∃хi+2:X) Р(xi+2, t(v(i+2)1, союз)); 4) хi+3 имеет характеристику v(i+3)1∈Vi+3 со значением «наречие» - (∃хi+3:X) Р(xi+3, t(v(i+3)1, наречие)). Тогда продукция записывается в виде: pr13s = , где q13s= (∃хi:X) Р(xi, t(vi1, наречие)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, наречие)) ∧ (∃хi+2:X) Р(xi+2, t(v(i+2)1, союз)) ∧ (∃хi+3:X) Р(xi+3, t(v(i+3)1, наречие))↔ (∃хi:X) (∃xi+1:X) (∃xi+3:X) Р2(ОЧН, t(xi, xi+1, хi+3)); r13s = add [P4(ОЧН, t(хi, xi+1, xi+3)]; elim [(X, {хi+1, xi+2, xi+3}]. Второе правило – pr14s = , где q14s= (∃хi:X) Р(xi, t(vi1, наречие)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, союз)) ∧ (∃хi+2:X) Р(xi+2, t(v(i+2)1, наречие)) ∧ P( xi +3 , t (v(i +3)1 , наречие)) ↔ (∃хi:X) (∃xi+2:X) Р1(ОЧН, t(xi, xi+2)); r14s = add [P3(ОЧН, t(хi, xi+2)]; elim [(X, {хi+1, xi+2}]. 99
Страницы
- « первая
- ‹ предыдущая
- …
- 98
- 99
- 100
- 101
- 102
- …
- следующая ›
- последняя »