ВУЗ:
Составители:
Рубрика:
3) х
i
имеет характеристику v
i5
со значением сорта «падеж» - (∃х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
4) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «существительное» - (∃x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
5) х
i+1
имеет характеристику v
(i+1)4
со значением сорта «число» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)4
,
v
(i+1)4
));
6) х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
7) х
i
лексема входит в состав синтаксической группы ОЧП - Р
3
(ОЧС, t(х
i
, x
j
)) или Р
4
(ОЧС, t(х
i
,
x
j
, x
k
));
8) v
(i+1)5
должна быть эквивалентна v
i5
- Р
Е
(v
i5
, v
(i+1)5
);
9) v
(i+1)4
имеет значение «единственное» или «множественное» - Р
Е
(v
(i+1)4
, множественное)
или Р
Е
(v
(i+1)4
, единственное);
10) v
i4
имеет значение «множественное» - Р
Е
(v
i4
, множественное).
Тогда продукции можно представить в виде пары: pr
50
s
=<q
50
s
, r
50
s
>, где
q
50
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) ∧ Р
3
(ОЧC, t(х
i+1
, x
j
)) ∧ Р
Е
(v
i5
, v
(i+1)5
) ∧ (Р
Е
(v
(i+1)4
,
множественное)
∨ Р
Е
(v
(i+1)4
, единственное)) ∧ Р
Е
(v
i4
, множественное) ↔ (∃х
i+1
:X) (∃x
j
:X) Р
1
(ОЧСП,
t(х
i+1
, x
j
));
r
50
s
= add [L
4
(D, (x
i+1
, x
j
)) ∧ L
4
(D, (x
i+1
, x
i
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
j
) ∧ L
2
(x
i
)].
И в виде пары pr
51
s
=<q
51
s
, r
51
s
>, где
q
51
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ (∃x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) ∧ Р
4
(ОЧC, t(х
i
, x
j
, x
k
)) ∧ Р
Е
(v
i5
, v
(i+1)5
) ∧ (Р
Е
(v
(i+1)4
,
множественное)
∨ Р
Е
(v
(i+1)4
, единственное)) ∧ Р
Е
(v
i4
, множественное) ↔ (∃х
i+1
:X) (∃x
j
:X) Р
1
(ОЧСП,
t(х
i+1
, x
j
)) ∧ (∃х
i+1
:X) (∃x
k
:X) Р
1
(ОЧСП, t(х
i+1
, x
k
));
r
51
s
= add [L
4
(D, (x
i+1
, x
j
)) ∧ L
4
(D, (x
i+1
, x
i
)) ∧ L
4
(D, (x
i+1
, x
k
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
j
) ∧ L
2
(x
k
) ∧ L
2
(x
i
)].
4. Правило для построения словосочетания ОЧCC (существительное + однородные члены
существительные). Правило ищет два слова х
i
и х
i+1
, где х
i
и х
i+1
–существительные, а х
i+1
–
существительное, которое входит в группу ОЧС и стоит в родительном или предложном падежах,
например, список студентов и преподавателей. Тогда правило представим в виде ситуации: пара
лексем х
i
и х
j
через х
i+1
лексему (х
j
,
х
i+1
∈ОЧС) образует словосочетание ОЧСС тогда и только тогда,
когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
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
, родительный) или
Р
Е
(v
(i+1)5
, предложный);
5) х
i+1
лексема входит в состав синтаксической группы ОЧС - Р
3
(ОЧС, t(х
j
, x
i+1
)) или Р
4
(ОЧС,
113
3) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5)); 4) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)); 5) хi+1 имеет характеристику v(i+1)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1, t(v(i+1)4, v(i+1)4)); 6) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5, v(i+1)5)); 7) хi лексема входит в состав синтаксической группы ОЧП - Р3(ОЧС, t(хi, xj)) или Р4(ОЧС, t(хi, xj, xk)); 8) v(i+1)5 должна быть эквивалентна vi5 - РЕ(vi5, v(i+1)5); 9) v(i+1)4 имеет значение «единственное» или «множественное» - РЕ(v(i+1)4, множественное) или РЕ(v(i+1)4, единственное); 10) vi4 имеет значение «множественное» - РЕ(vi4, множественное). Тогда продукции можно представить в виде пары: pr50s =, где q50 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1, существительное), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ Р3(ОЧC, t(хi+1, xj)) ∧ РЕ(vi5, v(i+1)5) ∧ (РЕ(v(i+1)4, множественное) ∨ РЕ(v(i+1)4, единственное)) ∧ РЕ(vi4, множественное) ↔ (∃хi+1:X) (∃xj:X) Р1(ОЧСП, t(хi+1, xj)); r50 s = add [L4(D, (xi+1, xj)) ∧ L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xi)]. И в виде пары pr51s = , где q51 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1, существительное), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ Р4(ОЧC, t(хi, xj, xk)) ∧ РЕ(vi5, v(i+1)5) ∧ (РЕ(v(i+1)4, множественное) ∨ РЕ(v(i+1)4, единственное)) ∧ РЕ(vi4, множественное) ↔ (∃хi+1:X) (∃xj:X) Р1(ОЧСП, t(хi+1, xj)) ∧ (∃хi+1:X) (∃xk:X) Р1(ОЧСП, t(хi+1, xk)); r51 s = add [L4(D, (xi+1, xj)) ∧ L4(D, (xi+1, xi)) ∧ L4(D, (xi+1, xk)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xk) ∧ L2(xi)]. 4. Правило для построения словосочетания ОЧCC (существительное + однородные члены существительные). Правило ищет два слова хi и хi+1, где хi и хi+1 –существительные, а хi+1 – существительное, которое входит в группу ОЧС и стоит в родительном или предложном падежах, например, список студентов и преподавателей. Тогда правило представим в виде ситуации: пара лексем хi и хj через хi+1 лексему (хj, хi+1∈ОЧС) образует словосочетание ОЧСС тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов: 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, родительный) или РЕ(v(i+1)5, предложный); 5) хi+1 лексема входит в состав синтаксической группы ОЧС - Р3(ОЧС, t(хj, xi+1)) или Р4(ОЧС, 113
Страницы
- « первая
- ‹ предыдущая
- …
- 112
- 113
- 114
- 115
- 116
- …
- следующая ›
- последняя »