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

UptoLike

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

A = {a
1
,...,a
n
}
A
1
= {a
1
1
,...,a
1
n
} A∪A
1
A
1
,B
1
A
m
,B
m
A
i
,B
i
A∪A
1
UA
i
V −→ UB
i
V, UB
i
V −→ UA
i
V,
U V
A∪A
1
Ua
ε
i
a
ε
i
V −→ UV, UV −→ Ua
ε
i
a
ε
i
V,
U V ε ∈{1, 1}
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