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

UptoLike

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

M
1
L(M
1
) M
L(M)=L(M
1
)
M M
1
M
1
M M
s
M
s
M
ε s
M
1
M
1
s
M
M
M
1
M
1
ε
s
M
1
M
1
w L(M
1
)
s
M
1
M
1
M
M = Σ,Q
M
,
M
,s
M
,F
M
,
s
M
Q
M
1
Q
M
= Q
M
1
∪{s
M
} F
M
=
F
M
1
∪{s
M
}
M
=∆
M
1
∪{s
M
,s
M
1
∪{q, ε, s
M
1
|q F
M
1
}.
M = Σ,Q
M
,
M
,s
M
,F
M
α
L(M)=L(α)
L(M)
Q
M
= {q
1
,...,q
n
} s
M
= q
1
i j k
i, j =1,...,n k =0,...,n L(i, j, k)
Σ
M q
i
q
j