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

UptoLike

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

§2
X S(T
0
)
q
0
S(T
0
)
W {a
1
,...,a
n
}
W
{a, b}
W a
i
aba
i+1
b
i+1
ϕ : W W
Π=a
1
,...,a
n
| A
1
= B
1
, ... ,A
m
= B
m
.
Π
= a, b | A
1
= B
1
, ... ,A
m
= B
m
,
W {a
1
,...,a
n
}
U =
Π
V ⇐⇒ U
=
Π
V
.
Π
Π
Π a, b,
c, d, e
ac = ca, ad = da, bc = cb, bd = db, ce = eca, de = edb, cca = ccae,
ggff = ffgg, fgggff = gfffgg, ffggffffgg = ffggffffgge,
eggff = ffe, efgggff = gffe,