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

UptoLike

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

§3
T
u
1
q
i
a
j
1
v
1
,...,u
k
q
i
a
j
k
v
k
K
T
K
T
P
T
(i, j
1
,...,j
k
) P
T
K
T
T
L
T
T K
T
L
T
T
T
K
T
T
L
T
T K
T
L
T
q
1
L Σ L Σ
k
T = A
T
,Q
T
,P
T
,q
0
,q
1
L Σ
Σ ⊆A
T
\{a
0
}
w Σ
q
0
a
0
wa
0
,q
0
a
0
,...,q
0
a
0
,
T
u
1
q
0
a
j
1
v
1
,u
2
q
0
a
j
2
v
2
,...,u
k
q
0
a
j
k
v
k
,
w L
q
0
a
0
wa
0
,q
0
a
0
,...,q
0
a
0
,
T
q
0
a
0
a
1
a
0
...a
0
,u
2
q
0
a
j
2
v
2
,...,u
k
q
0
a
j
k
v
k
,
w/ L
q
0
a
0
wa
0
,q
0
a
0
,...,q
0
a
0
,