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

UptoLike

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

L
1
= {a
n
b
n
|n 1}.
i = j a
i
a
j
L
b
i
a
i
L
1
a
j
L
1
[a] [a
2
] [a
3
] L
1
M = Σ,Q
M
M
,s
M
,F
M
q
L
q
= {w |δ
M
(q, w) F
M
}.
q p
L
q
L
p
L Σ
p q M =
Σ,Q
M
M
,s
M
,F
M
L Σ w L
δ
M
(p, w) F
M
δ
M
(q, w) F
M
p q M =
Σ,Q
M
M
,s
M
,F
M
L
Σ L
p
L = L
q
L
p q
M = Σ,Q
M
M
,s
M
,F
M
L
p q L
L
p
L
q
L
L
p
L L
q
L