ВУЗ:
Составители:
Рубрика:
42
f
1
)∧ P
E
(y
4
, s
31
)) ∨ (P
f
(t
in
(x
i
,0), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
14
) ∧ P
f
(t
in
(x
1
,0), y
3
, f
3
) ∧ P
f
(t
in
(y
3
),
y
4
, f
1
)∧ P
E
(y
4
, s
31
))) ∧ P
f
(t
in
(y
3
, Н
1
(u, v)), y
5
, f
4
) ∧ P
f
(t
in
(y
5
), y
6
, f
1
) ∧ P
E
(y
6
, s
24
)∧ P
f
(t
in
(y
5
, Н
1
(u, v)),
y
6
, f
4
)∧ P
E
(y
6
, х
7414
) ∧ P
f
(t
in
(y
5
, y
1
, Н(u, v, z)), y
7
, f
5
)∧ P
f
(t
in
(y
7
), y
8
, f
1
)∧ P
E
(y
8
, s
754
) ↔ (∃х
i
:X) P
s
(х
i
,
х
7414
,
r
t
2
);
r
5
М
= add [(V
i
, v
i1
, y
6
) ∧ V(V
i
, (v
i3
, l
1
(y
8
)), (v
i4
, l
2
(y
8
))].
Правило
рr
6
М
касается ситуации, описывающей принадлежность лексемы к части
речи глагол в прошедшем времени:
х
i
лексема относится к части речи глагол в прошедшем
времени тогда и только тогда, когда имеет место ситуация, составляющая конъюнкцию
следующих фактов:
1) лексема
х
i
имеет окончание y
1
мощностью |е|=1 - P
f
(t
in
(x
i
,1), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
15
(множество окончаний глаголов в прошедшем времени) -
P
E
(y
2
, s
15
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,1), y
3
, f
3
);
5) основа
y
2
лексемы х
i
принадлежит сорту s
3k
∈S - P
f
(t
in
(y
3
), y
4
, f
1
);
6) сорт
s
3k
имеет значение s
31
(множество основ) - P
E
(y
4
, s
31
);
или
1) лексема
х
i
имеет окончание y
1
мощностью |е|=0 - P
f
(t
in
(x
i
,0), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
15
(множество окончаний глаголов в прошедшем времени) -
P
E
(y
2
, s
15
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,2), y
3
, f
3
);
5) основа
y
2
лексемы х
i
принадлежит сорту s
3k
∈S - P
f
(t
in
(y
3
), y
4
, f
1
);
6) сорт
s
3k
имеет значение s
31
(множество основ) - P
E
(y
4
, s
31
);
и для всех предыдущих фактов:
7) основа
y
2
отображается во флективный класс y
3
- P
f
(t
in
(y
3
, Н
1
(u, v)), y
5
, f
4
);
8) флективный класс
y
3
лексемы х
i
принадлежит сорту s
2p
∈S - P
f
(t
in
(y
5
), y
6
, f
1
);
9) сорт s
2p
имеет значение s
23
(множество ФК глаголов) - P
E
(y
6
, s
23
);
10) флективный класс
y
3
отображается в постоянную морфологическую информацию
y
4
- P
f
(t
in
(y
5
, Н
1
(u, v)), y
6
, f
4
);
11) МИ
y
4
имеет значение х
7413
(часть речи глагол) - P
E
(y
6
, х
7413
);
12)флективный класс
y
3
и окончание y
1
отображаются в набор переменной
морфологической информации
y
5
- P
f
(t
in
(y
5
, y
1
, Н(u, v, z)), y
7
, f
5
);
13) набор МИ
y
5
имеет сорт s
75t
(множество наборов переменной МИ) - P
f
(t
in
(y
7
), y
8
,
f
1
);
14) сорт
s
75t
имеет значение s
755
(множество наборов переменной МИ глаголов в
прошедшем времени)
- P
E
(y
8
, s
755
).
Тогда продукция
pr
6
М
может быть представлена в виде пары <q
6
M
, r
6
M
>, где:
q
6
М
= ((P
f
(t
in
(x
i
,1), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
15
) ∧ P
f
(t
in
(x
1
,1), y
3
, f
3
) ∧ P
f
(t
in
(y
3
), y
4
,
f
1
)∧ P
E
(y
4
, s
31
)) ∨ (P
f
(t
in
(x
i
,0), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
15
) ∧ P
f
(t
in
(x
1
,0), y
3
, f
3
) ∧ P
f
(t
in
(y
3
),
y
4
, f
1
)∧ P
E
(y
4
, s
31
))) ∧ P
f
(t
in
(y
3
, Н
1
(u, v)), y
5
, f
4
) ∧ P
f
(t
in
(y
5
), y
6
, f
1
) ∧ P
E
(y
6
, s
23
)∧ P
f
(t
in
(y
5
, Н
1
(u, v)),
y
6
, f
4
)∧ P
E
(y
6
, х
7413
) ∧ P
f
(t
in
(y
5
, y
1
, Н(u, v, z)), y
7
, f
5
)∧ P
f
(t
in
(y
7
), y
8
, f
1
)∧ P
E
(y
8
, s
755
) ↔ (∃х
i
:X) P
s
(х
i
,
х
7415
,
r
t
2
);
f1)∧ PE(y4, s31)) ∨ (Pf(tin(xi,0), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s14) ∧ Pf(tin(x1,0), y3, f3) ∧ Pf(tin(y3),
y4, f1)∧ PE(y4, s31))) ∧ Pf(tin(y3, Н1(u, v)), y5, f4) ∧ Pf(tin(y5), y6, f1) ∧ PE(y6, s24)∧ Pf(tin(y5, Н1(u, v)),
y6, f4)∧ PE(y6, х7414) ∧ Pf(tin(y5, y1, Н(u, v, z)), y7, f5)∧ Pf(tin(y7), y8, f1)∧ PE(y8, s754) ↔ (∃хi:X) Ps(хi,
х7414, t 2r );
r5М = add [(Vi, vi1, y6) ∧ V(Vi, (vi3, l1(y8)), (vi4, l2(y8))].
Правило рr6М касается ситуации, описывающей принадлежность лексемы к части
речи глагол в прошедшем времени: хi лексема относится к части речи глагол в прошедшем
времени тогда и только тогда, когда имеет место ситуация, составляющая конъюнкцию
следующих фактов:
1) лексема хi имеет окончание y1 мощностью |е|=1 - Pf(tin(xi,1), y1, f2);
2) окончание y1 принадлежит сорту s1j∈S - Pf(tin(y1), y2, f1);
3) сорт s1j имеет значение s15 (множество окончаний глаголов в прошедшем времени) -
PE(y2, s15);
4) лексема хi имеет основу y2 - Pf(tin(x1,1), y3, f3);
5) основа y2 лексемы хi принадлежит сорту s3k ∈S - Pf(tin(y3), y4, f1);
6) сорт s3k имеет значение s31 (множество основ) - PE(y4, s31);
или
1) лексема хi имеет окончание y1 мощностью |е|=0 - Pf(tin(xi,0), y1, f2);
2) окончание y1 принадлежит сорту s1j∈S - Pf(tin(y1), y2, f1);
3) сорт s1j имеет значение s15 (множество окончаний глаголов в прошедшем времени) -
PE(y2, s15);
4) лексема хi имеет основу y2 - Pf(tin(x1,2), y3, f3);
5) основа y2 лексемы хi принадлежит сорту s3k ∈S - Pf(tin(y3), y4, f1);
6) сорт s3k имеет значение s31 (множество основ) - PE(y4, s31);
и для всех предыдущих фактов:
7) основа y2 отображается во флективный класс y3 - Pf(tin(y3, Н1(u, v)), y5, f4);
8) флективный класс y3 лексемы хi принадлежит сорту s2p∈S - Pf(tin(y5), y6, f1);
9) сорт s2p имеет значение s23 (множество ФК глаголов) - PE(y6, s23);
10) флективный класс y3 отображается в постоянную морфологическую информацию
y4 - Pf(tin(y5, Н1(u, v)), y6, f4);
11) МИ y4 имеет значение х7413 (часть речи глагол) - PE(y6, х7413);
12)флективный класс y3 и окончание y1 отображаются в набор переменной
морфологической информации y5 - Pf(tin(y5, y1, Н(u, v, z)), y7, f5);
13) набор МИ y5 имеет сорт s75t (множество наборов переменной МИ) - Pf(tin(y7), y8,
f1);
14) сорт s75t имеет значение s755 (множество наборов переменной МИ глаголов в
прошедшем времени) - PE(y8, s755).
Тогда продукция pr6М может быть представлена в виде пары , где:
q6М = ((Pf(tin(xi,1), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s15) ∧ Pf(tin(x1,1), y3, f3) ∧ Pf(tin(y3), y4,
f1)∧ PE(y4, s31)) ∨ (Pf(tin(xi,0), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s15) ∧ Pf(tin(x1,0), y3, f3) ∧ Pf(tin(y3),
y4, f1)∧ PE(y4, s31))) ∧ Pf(tin(y3, Н1(u, v)), y5, f4) ∧ Pf(tin(y5), y6, f1) ∧ PE(y6, s23)∧ Pf(tin(y5, Н1(u, v)),
y6, f4)∧ PE(y6, х7413) ∧ Pf(tin(y5, y1, Н(u, v, z)), y7, f5)∧ Pf(tin(y7), y8, f1)∧ PE(y8, s755) ↔ (∃хi:X) Ps(хi,
х7415, t 2r );
42
Страницы
- « первая
- ‹ предыдущая
- …
- 40
- 41
- 42
- 43
- 44
- …
- следующая ›
- последняя »
