ВУЗ:
Составители:
Рубрика:
ситуаций.
Ситуация первая: пара лексем х
i
и х
i+1
образует пару СущП тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «прилагательное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
прилагательное));
2) х
i
имеет характеристику v
i3
со значением сорта «род» - (∃х
i
:X) Р(x
i
, t(v
i3
, v
i3
));
3) х
i
имеет характеристику v
i4
со значением сорта «число» - (∃х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
4) х
i
имеет характеристику v
i5
со значением сорта «падеж» - (∃х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
5) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «существительное» - (∃x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
6) х
i+1
имеет характеристику v
(i+1)3
со значением сорта «род» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)3
, v
(i+1)3
));
7) х
i+1
имеет характеристику v
(i+1)4
со значением сорта «число» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)4
,
v
(i+1)4
));
8) х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
9) v
i3
должна быть эквивалентна v
(i+1)3
- Р
Е
(v
i3
, v
(i+1)3
);
10) v
i4
должна быть эквивалентна v
(i+1)4
- Р
Е
(v
i4
, v
(i+1)4
);
11) v
i5
должна быть эквивалентна v
(i+1)5
- Р
Е
(v
i5
, v
(i+1)5
).
Тогда продукцию можно представить в виде пары: pr
37
s
=<q
37
s
, r
37
s
>, где
q
37
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, прилагательное), t(v
i3
, v
i3
), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)3
, v
(i+1)3
), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) ∧ Р
Е
(v
i3
, v
(i+1)3
) ∧ Р
Е
(v
i4
, v
(i+1)4
) ∧
Р
Е
(v
i5
, v
(i+1)5
) ↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(СущП, t(х
i
, x
i+1
));
r
37
s
= add [L
4
(D, (x
i+1
, x
i
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
i
)]; elim [(X, {x
i
})].
Для второй ситуации продукция представляется в виде: pr
38
s
=<q
38
s
, r
38
s
>, где
q
38
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное), t(v
i3
, v
i3
), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, прилагательное), t(v
(i+1)3
, v
(i+1)3
), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) ∧ Р
Е
(v
i3
, v
(i+1)3
) ∧ Р
Е
(v
i4
, v
(i+1)4
)
∧ Р
Е
(v
i5
, v
(i+1)5
) ↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(СущП, t(х
i
, x
i+1
));
r
38
s
= add [L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
10. Правило для построения словосочетания CC (существительное+существительное).
Правило ищет два слова х
i
и х
i+1
, где х
i
– существительные, а х
i+1
– существительное в родительном
или предложном падежах, например, студентов группы, участие в соревнованиях. В результате
формируется словосочетание (х
i
, х
i+1
) с главным словом х
i
:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «существительное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
существительное));
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
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
4) v
(i+1)5
имеет значение «родительный» или «предложный» - Р
Е
(v
(i+1)5
, родительный) или
108
ситуаций. Ситуация первая: пара лексем хi и хi+1 образует пару СущП тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 1) хi имеет характеристику vi1∈Vi со значением «прилагательное» - (∃хi:X) Р(xi, t(vi1, прилагательное)); 2) хi имеет характеристику vi3 со значением сорта «род» - (∃хi:X) Р(xi, t(vi3, vi3)); 3) хi имеет характеристику vi4 со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4)); 4) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5)); 5) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)); 6) хi+1 имеет характеристику v(i+1)3 со значением сорта «род» - (∃хi+1:X) Р(xi+1, t(v(i+1)3, v(i+1)3)); 7) хi+1 имеет характеристику v(i+1)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1, t(v(i+1)4, v(i+1)4)); 8) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5, v(i+1)5)); 9) vi3 должна быть эквивалентна v(i+1)3 - РЕ(vi3, v(i+1)3); 10) vi4 должна быть эквивалентна v(i+1)4 - РЕ(vi4, v(i+1)4); 11) vi5 должна быть эквивалентна v(i+1)5 - РЕ(vi5, v(i+1)5). Тогда продукцию можно представить в виде пары: pr37s =, где q37s = (∃хi:X) Р(xi, t(vi1, прилагательное), t(vi3, vi3), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное), t(v(i+1)3, v(i+1)3), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ РЕ(vi3, v(i+1)3) ∧ РЕ(vi4, v(i+1)4) ∧ РЕ(vi5, v(i+1)5) ↔ (∃хi:X) (∃xi+1:X) Р1(СущП, t(хi, xi+1)); r37s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [(X, {xi})]. Для второй ситуации продукция представляется в виде: pr38s = , где q38s = (∃хi:X) Р(xi, t(vi1, существительное), t(vi3, vi3), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, прилагательное), t(v(i+1)3, v(i+1)3), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ РЕ(vi3, v(i+1)3) ∧ РЕ(vi4, v(i+1)4) ∧ РЕ(vi5, v(i+1)5) ↔ (∃хi:X) (∃xi+1:X) Р1(СущП, t(хi, xi+1)); r38s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})]. 10. Правило для построения словосочетания CC (существительное+существительное). Правило ищет два слова хi и хi+1, где хi– существительные, а хi+1 – существительное в родительном или предложном падежах, например, студентов группы, участие в соревнованиях. В результате формируется словосочетание (хi, хi+1) с главным словом хi: 1) хi имеет характеристику vi1∈Vi со значением «существительное» - (∃хi:X) Р(xi, t(vi1, существительное)); 2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)); 3) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5, v(i+1)5)); 4) v(i+1)5 имеет значение «родительный» или «предложный» - РЕ(v(i+1)5, родительный) или 108
Страницы
- « первая
- ‹ предыдущая
- …
- 107
- 108
- 109
- 110
- 111
- …
- следующая ›
- последняя »