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

UptoLike

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

δ
M
(Q, a) M
a
M
M
w Σ
M
M M
p q M
qw
M
(P Q
M
)E(q)w
M
& p P.
P
P = δ
M
(E(q),w)
qw
M
p δ
M
(E(q),w).
w
|w| =0 w = ε
M
p E(q),
δ
M
(E(q))=E(q).
w va v Σ
M
a Σ
M
qw = qva
M
p
1
p
2
M
qw = qva
M
p
1
a
M
p
2
ε
M
pε.
p
1
a
M
p
2
ε a
qva
M
p
1
a ⇐⇒ qv
M
p
1
ε,
E(q)v
M
P
1
ε & p
1
P
1
= δ
M
(E(q),v).
p
1
a
M
p
2
ε ⇐⇒ p
1
,a,p
2
∈
M
.
δ
M
(P
1
,a)=
tP
1
t,a,t
∈
M
E(p
2
).
p
2
ε
M
⇐⇒ p E(p
2
),