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

UptoLike

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

D
1
,...,D
k
∈{L, S, R }
q
i
a
j
1
,...,a
j
k
i>0
−→
P
T
(i, j
1
,...,j
k
)
q
i
i>0
a
j
1
a
j
k
P
T
(i, j
1
,...,j
k
)
P
T
(i, j
1
,...,j
k
) −→
q
i
a
j
1
,...,a
j
k
q
i
a
j
1
,...,a
j
k
−q
s
a
t
1
,D
1
,...,a
t
k
,D
k
,
q
s
l 1 l k
q
i
a
j
l
−→ q
s
a
t
l
D
l
,
a
j
l
a
t
l
D
l
q
0
q
0
P
T
T
(Q
T
\{q
0
}) × A
k
T
× Q
T
× (A
T
×{L, S, R})
k
,
T
(Q
T
\{q
0
}) × A
k
T
× Q
T
× (A
T
×{L, S, R})
k
.
k
u
1
q
i
a
j
1
v
1
,...,u
k
q
i
a
j
k
v
k
,
q
i
a
j
l
l 1 l k u
l
v
l
u
l
a
j
l
v
l