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

UptoLike

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

A = {a
1
,...,a
n
}
A
1
,B
1
A
m
,B
m
A
i
,B
i
A
UA
i
V −→ UB
i
V, UB
i
V −→ UA
i
V,
U V
A
i
,B
i
A
i
= B
i
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m
,
a
1
a
n
A
1
= B
1
A
m
= B
m
U W W
U
W = W
0
W
1
... W
k
W
k+1
... W
s
= U,
U W
[W ]
[W ] · [U]=[WU],
WU W U
[1] 1
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m