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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§6
δ
∗
M
(q, w) ∈ F
M
⇐⇒ δ
∗
M
(p, w) ∈ F
M
.
Q
M
M
≡ [q]
q [Q
M
]
Q
M
[M] M
≡
[M]=Σ
[M]
,Q
[M]
,δ
[M]
,s
[M]
,F
[M]
,
Σ
[M]
=Σ
M
,Q
[M]
= {[q] |q ∈ Q
M
},
δ
[M]
([q],a)=[δ
M
(q, a)],s
[M]
=[s
M
],quadF
[M]
= {[q] |q ∈ F
M
}.
δ
[M]
F
[M]
M [M] M [M]
L Σ L ⊆ Σ
∗
≡
L
W U Σ
∗
W ≡
L
U ⇐⇒
V Σ
∗
(WV ∈ L ⇐⇒ UV ∈ L).
≡
L
≡
L
L
L
M W U
Σ
W U L
δ
∗
M
(s
M
,W) δ
∗
M
(s
M
,U)
L M =
Σ
M
,Q
M
,δ
M
,s
M
,F
M
≈
M
W U Σ
M
W ≈
M
U ⇐⇒ δ
∗
M
(s
M
,W)=δ
∗
M
(s
M
,U).

Страницы