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

UptoLike

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

§3
D
1
,...,D
k
∈{L, S, R }
q
i
a
j
1
,...,a
j
k
i>0
−→
P
T
(i, j
1
,...,j
k
).
T
q
i
i>0
a
j
1
a
j
k
T
P
T
(i, j
1
,...,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
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