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

UptoLike

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

§3
M
1
M
2
L(M
1
) L(M
2
)
M = Σ
M
,Q
M
,
M
,s
M
,F
M
M
= Σ
M
,Q
M
M
,s
M
,F
M
M
M
M Σ
M
M
M
Q
M
= P (Q
M
)
Q
M
M F
M
M
Q
M
M
F
M
= {U |U Q
M
& U F
M
= ∅}.
δ
M
M
q Q
M
M E(q)
M q
E(q)={p |p Q
M
&
M
pε.
E(q)
M
s
M
= E(s)
Q Q
M
M
Q Q
M
M
a Σ
M
δ
M
(Q, a)=
qQ
q,a,p
E(p).