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

UptoLike

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

[1] 1
[W ] [W ]
a
ε
1
i
1
...a
ε
t
i
t
= a
ε
t
i
t
...a
ε
1
i
1
.
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m

a
1
a
n
A
1
= B
1
A
m
= B
m
G
G
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m
.
S
3
a, b |a
3
=1,b
2
=1,ba= a
2
b .
SL(2,Z)
a, b |a
6
=1,b
4
=1,a
3
= b
2
,
PSL(2,Z)
a, b |a
3
=1,b
2
=1.
a, b |a
3
= b
2
.
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m

W U
[W ] [U] W U