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

UptoLike

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

a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m

W U
[W ] [U] Z
[Z]
1
[W ][Z]=[U] ZWZ U
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m

b
1
, ..., b
p
|C
1
= D
1
, ..., C
q
= D
q
