ВУЗ:
Составители:
Рубрика:
Ситуация вторая - правило первое: лексемы х
i,
х
j
, х
t
и х
k
образуют синтаксическую группу
ОЧП (однородные члены прилагательные) тогда и только тогда, когда имеет место закономерность,
описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «прилагательное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
прилагательное));
2) х
i
имеет характеристику v
i4
∈V
i
со значением сорта «число» - (∃х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
3) х
i
имеет характеристику v
i5
∈V
i
со значением сорта «падеж» - (∃х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
4) х
j
имеет характеристику v
j1
∈V
j
со значением «прилагательное» - (∃х
j
:X) Р(x
j
, t(v
j1
,
прилагательное));
5) х
j
имеет характеристику v
j4
∈V
j
со значением сорта «число» - (∃х
j
:X) Р(x
j
, t(v
j4
, v
j4
));
6) х
j
имеет характеристику v
j5
∈V
j
со значением сорта «падеж» - (∃х
j
:X) Р(x
j
, t(v
j5
, v
j5
));
7) -10) совпадают с фактами первого правила первой ситуации;
11) х
k
имеет характеристику v
k1
∈V
k
со значением «прилагательное» - (∃x
k
:X) Р(x
k
, t(v
k1
,
прилагательное));
12) х
k
имеет характеристику v
k4
∈V
k
со значением сорта «число» - (∃х
k
:X) Р(x
k
, t(v
k4
, v
k4
));
13) х
k
имеет характеристику v
k5
∈V
k
со значением сорта «падеж» - (∃х
k
:X) Р(x
k
, t(v
k5
, v
k5
));
14) v
i4
, v
j4
и v
k4
должны быть эквивалентны - Р
Е
(v
i4
, v
j4
, v
k4
);
15) v
i5
, v
j5
и v
k5
должны быть эквивалентны - Р
Е
(v
i5
, v
j5
, v
k5
).
Тогда продукция записывается в виде: pr
7
s
=<q
7
s
, r
7
s
>, где
q
7
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃х
j
:X) Р
par
(x
j
, t(v
j1
,
прилагательное), t(v
j4
, v
j4
), t(v
j5
, v
j5
)) ∧ (∃х
t
:X) Р(x
t
, t(v
t1
, v
t1
)) ∧ P
E
(v
t1
, союз) ∧ P
f
(t
in
(i, t), y
2
, f
2
) ∧ Р
Е
(у
2
,
раньше)
∧ (∃х
k
:X) Р
par
(x
k
, t(v
k1
, прилагательное), t(v
k4
, v
k4
), t(v
k5
, v
k5
)) ∧ Р
Е
(v
i4
, v
j4
, v
k4
) ∧ Р
Е
(v
i5
, v
j5
, v
k5
)
↔ (∃х
i
:X) (∃x
j
:X) (∃x
k
:X) Р
2
(ОЧП, t(x
j
, x
k
, х
i
));
r
7
s
= add [P
4
(ОЧП, t(х
i
, x
j
, x
k
)]; elim [(X, {х
j
, x
k
, x
t
}].
Построение других правил второй ситуации аналогично построению второго и третьего
правил первой ситуации, которым в результате соответствуют следующие продукции:
Второе правило – pr
8
s
=<q
8
s
, r
8
s
>, где
q
8
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃х
j
:X) Р
par
(x
j
, t(v
j1
,
прилагательное), t(v
j4
, v
j4
), t(v
j5
, v
j5
)) ∧ (∃х
t
:X) Р(x
t
, t(v
t1
, v
t1
)) ∧ P
E
(v
t1
, союз) ∧ P
f
(t
in
(i, t), y
2
, f
2
) ∧ Р
Е
(у
2
,
раньше)
∧
)),(,(
1
ьноеприлагателvtxP
kk
∧ Р
Е
(v
i4
, v
j4
) ∧ Р
Е
(v
i5
, v
j5
) ↔ (∃х
i
:X) (∃x
j
:X) Р
1
(ОЧП, t(x
j
, x
j
));
r
8
s
= add [P
3
(ОЧП, t(х
i
, x
j
)]; elim [(X, {х
j
, x
t
}].
Третье правило – pr
9
s
=<q
9
s
, r
9
s
>, где
q
9
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃х
j
:X) Р
par
(x
j
, t(v
j1
,
прилагательное), t(v
j4
, v
j4
), t(v
j5
, v
j5
)) ∧
)),(,(
1
ьноеприлагателvtxP
kk
∧ Р
Е
(v
i4
, v
j4
) ∧ Р
Е
(v
i5
, v
j5
) ↔ (∃х
i
:X)
(
∃x
j
:X) Р
1
(ОЧП, t(x
j
, x
k
));
r
9
s
= add [P
3
(ОЧП, t(х
i
, x
j
)]; elim [(X, {х
j
}].
Ситуация третья - правило первое: лексемы х
i,
х
i+1
, х
i+2
и х
i+3
образуют синтаксическую
группу ОЧЧ (однородные члены числительные) тогда и только тогда, когда имеет место
закономерность, описываемая конъюнкцией следующих фактов:
98
Ситуация вторая - правило первое: лексемы хi, хj, хt и хk образуют синтаксическую группу ОЧП (однородные члены прилагательные) тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 1) хi имеет характеристику vi1∈Vi со значением «прилагательное» - (∃хi:X) Р(xi, t(vi1, прилагательное)); 2) хi имеет характеристику vi4 ∈Vi со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4)); 3) хi имеет характеристику vi5 ∈Vi со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5)); 4) хj имеет характеристику vj1∈Vj со значением «прилагательное» - (∃хj:X) Р(xj, t(vj1, прилагательное)); 5) хj имеет характеристику vj4 ∈Vj со значением сорта «число» - (∃хj:X) Р(xj, t(vj4, vj4)); 6) хj имеет характеристику vj5 ∈Vj со значением сорта «падеж» - (∃хj:X) Р(xj, t(vj5, vj5)); 7) -10) совпадают с фактами первого правила первой ситуации; 11) хk имеет характеристику vk1∈Vk со значением «прилагательное» - (∃xk:X) Р(xk, t(vk1, прилагательное)); 12) хk имеет характеристику vk4 ∈Vk со значением сорта «число» - (∃хk:X) Р(xk, t(vk4, vk4)); 13) хk имеет характеристику vk5 ∈Vk со значением сорта «падеж» - (∃хk:X) Р(xk, t(vk5, vk5)); 14) vi4, vj4 и vk4 должны быть эквивалентны - РЕ(vi4, vj4, vk4); 15) vi5, vj5 и vk5 должны быть эквивалентны - РЕ(vi5, vj5, vk5). Тогда продукция записывается в виде: pr7s =, где q7s= (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃хj:X) Рpar(xj, t(vj1, прилагательное), t(vj4, vj4), t(vj5, vj5)) ∧ (∃хt:X) Р(xt, t(vt1, vt1)) ∧ PE(vt1, союз) ∧ Pf(tin(i, t), y2, f2) ∧ РЕ(у2, раньше) ∧ (∃хk:X) Рpar(xk, t(vk1, прилагательное), t(vk4, vk4), t(vk5, vk5)) ∧ РЕ(vi4, vj4, vk4) ∧ РЕ(vi5, vj5, vk5) ↔ (∃хi:X) (∃xj:X) (∃xk:X) Р2(ОЧП, t(xj, xk, хi)); r7s = add [P4(ОЧП, t(хi, xj, xk)]; elim [(X, {хj, xk, xt}]. Построение других правил второй ситуации аналогично построению второго и третьего правил первой ситуации, которым в результате соответствуют следующие продукции: Второе правило – pr8s = , где q8s= (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃хj:X) Рpar(xj, t(vj1, прилагательное), t(vj4, vj4), t(vj5, vj5)) ∧ (∃хt:X) Р(xt, t(vt1, vt1)) ∧ PE(vt1, союз) ∧ Pf(tin(i, t), y2, f2) ∧ РЕ(у2, раньше) ∧ P ( x k , t (v k1 , прилагательное)) ∧ РЕ(vi4, vj4) ∧ РЕ(vi5, vj5) ↔ (∃хi:X) (∃xj:X) Р1(ОЧП, t(xj, xj)); r8s = add [P3(ОЧП, t(хi, xj)]; elim [(X, {хj, xt}]. Третье правило – pr9s = , где q9s= (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃хj:X) Рpar(xj, t(vj1, прилагательное), t(vj4, vj4), t(vj5, vj5)) ∧ P ( x k , t (v k1 , прилагательное)) ∧ РЕ(vi4, vj4) ∧ РЕ(vi5, vj5) ↔ (∃хi:X) (∃xj:X) Р1(ОЧП, t(xj, xk)); r9s = add [P3(ОЧП, t(хi, xj)]; elim [(X, {хj}]. Ситуация третья - правило первое: лексемы хi, хi+1, хi+2 и хi+3 образуют синтаксическую группу ОЧЧ (однородные члены числительные) тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 98
Страницы
- « первая
- ‹ предыдущая
- …
- 97
- 98
- 99
- 100
- 101
- …
- следующая ›
- последняя »