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

UptoLike

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

§1
X Y
U V Y UXV.
U Y XV X
Y V Y
UX
X Y
X, Y, Z, V Σ XY ZV
P X ZP V PY Z XP Y PV
|Z|≤|X|
P X ZP ZPY ZV
V PY |X|≤|Z|
P
Z XP Y PV.
/ Σ Y X
V X
1
Y X
2
X X
1
YX
2
V X
1
Y X
2
Y X Z X
1
ZX
2
Y
X V Y
X Z Y X Z
Y V Y X X
1
∗∗X
2
V Y X Z
X
1
ZX
2
.
Y Y α α Σ
V Y X
α X
α Σ X Z Σ
α X
Z
X
α
[Z].
α
1
α
n
Σ X
Z
1
Z
n
Σ
α
1
α
n
Z
1
Z
n
Z
1
Z
n
α
1
α
n
X
α
1
,...,α
n
[Z
1
,...,Z
n
]
w n w
n
w
0
= e, w
n+1
= w
n
w n 0.
w w
R