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

UptoLike

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

§4
k +1
q
i
q
j
k = n
L(i, j, n)={w |w Σ
& q
i
w
M
q
j
ε }.
L(M)=
q
j
F
M
L(1,j,n),
L(i, j, k)
L(M)
L(i, j, k) k
k =0 i = jL(i, j, 0) = {a | a
Σ ∪{ε}&q
i
,a,q
j
∈
M
} i = j L(i, j, 0) = { ε}∪{σ|σ Σ
M
{ε}|q
i
,q
j
∈
M
}
i j L(i, j, k 1)
L(i, j, k)
L(i, j, k)=L(i, j, k 1) L(i, k, k 1) ·L(k,k, k 1)
· L(k, j,k 1).
q
i
q
j
k M
q
i
q
j
k 1
q
i
q
k
q
k
q
k
q
k
q
j
k 1
i j k L(i, j, k)
L(M)