Элементы теории алгоритмов - 155 стр.

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

Составители: 

Рубрика: 

§2
P Q A
Π(S) P Q
P P
0
→ P
1
→···→P
k
Q
P = Q Π(S)
P
1
≡ Q
1
P
2
≡ Q
2
P
1
P
2
≡ Q
1
Q
2
Π(A, S) [X]
X
Π(A, S)
[X] · [Y ] [XY ]
X Y
A b
b = W W A
Π
1
(A, S
1
) Π
2
(A, S
2
)
S
2
Π
1
S
1
Π
2
A S Π(A, S)
a
1
,...,a
n
| A
1
= B
1
, ... ,A
m
= B
m
.
A = {a
1
,a
2
,...,a
n
,...} (3)
A
−1
= {a
−1
1
,a
−1
2
,...,a
−1
i
,...}.
a
−1
i
a
i
a
−1
i
a
i
=1,a
i
a
−1
i
=1. (4)

Страницы