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

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

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

Рубрика: 

§4
p ∈ δ
M
(P
1
,a)=δ
M
(δ
∗
M
(E(q),v),a)=
δ
∗
M
(E(q),va)=δ
∗
M
(E(q),w),
p ∈ δ
∗
M
(E(q),w)
p ∈ δ
∗
M
(E(q),va)
P = δ
∗
M
(E(q),va),P
1
= δ
∗
M
(E(q),v),
p ∈ P = δ
∗
M
(P
1
,a)
E(q)va
∗
M
P
1
a
M
Pε.
P = δ
M
(P
1
,a)= ∪
p
1
∈P
1
p
1
,a,p
2
∈∆
M
E(p
2
),
p
1
p
2
M p
1
∈ P
1
p
1
,a,p
2
∈∆
M
p ∈ E(p
2
) p
2
ε
∗
M
pε E(q)v
∗
M
P
1
ε p
1
∈ P
1
qv
∗
M
p
1
ε
qva
∗
M
p
1
a
M
p
2
ε
∗
M
pε.
qva
∗
M
pε
M M
L(M)
L(M
)
w w ∈ L(M)
f ∈ F
M
s
M
w
∗
M
fε
f ∈ δ
∗
M
(E(s
M
),w)
w ∈ L(M)
δ
∗
M
(E(s
M
),w) ∩ F
M
= ∅ δ
∗
M
(s
M
,w) ∈ F
M
w ∈
L(M
) L(M)=L(M
)
M
M

Страницы