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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§4
s
M
Q
M
1
∪ Q
M
2
Q
M
= Q
M
1
∪ Q
M
2
∪{s
M
},
F
M
= F
M
1
∪ F
M
2
,
∆
M
=∆
M
1
∪ ∆
M
2
∪{s
M
,ε,s
M
1
, s
M
,ε,s
M
2
}.
M w
s
M
1
M
1
s
M
2
M
2
M
1
M
2
s
M
w
∗
M
pε p F
M
s
M
1
w
∗
M
1
pε p F
M
1
s
M
2
w
∗
M
2
pε p
F
M
2
M w
M
1
M
2
L(M)=L(M
1
) ∪ L(M
2
)
L =Σ
∗
\ L
L
1
\ L
2
= L
1
∩ L
2
,L
1
∩ L
2
= (L
1
∪ L
2
).
M = Σ,Q
M
,δ
M
,s
M
,F
M
L L =Σ
∗
\L(M)
M = Σ,Q
M
, ∆
M
,s
M
,Q
M
\ F
M
.
M
1
M
2
M L(M)=L(M
1
) ◦ L(M
2
)
M
M
1
M
1
M
1
M M
1
M
2
M
2
M
2
M
Q
M
1
Q
M
2
M
1
M
2
M L(M
1
) · L(M
2
)
M = Σ,Q
M
, ∆
M
,s
M
,F
M
,
s
M
= s
M
1
Q
M
= Q
M
1
∪ Q
M
2
F
M
= F
M
2
∆
M
=∆
M
1
∪ ∆
M
2
∪{q, ε, s
M
2
|q ∈ F
M
1
}.

Страницы