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

UptoLike

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

§5
s
M
F
M
L
1
L
2
Σ
L
1
L
2
M
1
M
2
M L(M)=L
1
L
2
L(M)
L
1
L
2
Σ L
1
L
2
L
1
L
2
⇐⇒ L
1
\ L
2
)=.
L
1
L
2
Σ
L
1
= L
2
⇐⇒ (L
1
L
2
)&(L
2
L
1
).
L
Σ L