ғ ң ң ққ ң құғ ΣW , Σ ө ғ.
VI VIII ғ ғ ққ ..ң ң қ. ұ қғң ң , F, G ү ұ, -ң ү, F-ң ү (ә ү ң ө ) . G қққ ң .
қ қ ә қ қ қ .
δ қ δ() ә - қққ ә || қ .
қ қ: ү ә үң әқ ө , қғ: ||+||=||, ү ә үң . ұ ғ : (). ң ң (ұ Σ қ ) I V қ ө 12 қ.
.
1. ү ү .
2. ә ү ү ә, қ қ ү .
3. ң ғ ү ә үң әқ ң ғ ү .
Қ қ қ .
1. ||=0↔=.
2. ||=||.
3. ||≤||+||,
.
1. ρ үң ү ρ\{} L1, L2 ғ ө:
) : ();
) ә ≠ ү L1, L2 ң , () ().
ң әқ, ү ә . ≠ ү ү ә [) .
2. [) ә , f:G→[) .
3. () қ , , , ү ү .
4. ρ ү \ρ 1, 2 ғ ө:
) 1, 2 ү ρ ү ө;
|
|
) ә ү 1, 2 ң , ұ ү ρ ү ө.
ң әқ ү ққ , ү ққң .
IV. қ қ ң қ ғ ғ қ .
||>0 ә ||=|11| , ә ғ , ң әқ ү 1 ү, ү 1 ү ө. ұ ғ () ү қғ (11) ү 1, 1 қққ ө.
V. . ү ү ү ө.
1 . Σ (ΣW).
. қ ққ , Σ ққ .
2 . ΣW (Σ).
1 ә 2 ғ .
. ΣW ә Σ .
қ ң қ . S, ң , r қ .
׀ρ(, )< r қғ қ. S∩ қ ң , ұ , ү ң, , ң .
қ 012...n қ ұғ қғ қ ұғ қ қ, үң [01],...,[n-1Mn] ң ү ңң 01,..., n-1Mn ғ .
, :
) ( ) ң ү F қ, қ қ қғ ;
) A , B ғ ғ ә ү қ ә ә F қ қ қ , , ө ө.
ү ң ө ө қ қ , ұ ә қ . Q ңң қғң ғ қ ↔ ә ү , ң .
ә ң әқ , Q ү ң ң .
ү S ң ғ қ-қ ү, ә D ұ ү ң , ңң .
S\ ө ө ө . ң әқ, ө ә ү ұ . ә D ң ұң қғ . қ ұң ққ ұ ұң ұ . ұ , ұ ұ .
|
|
Q1, Q2 ә ү ү ң , ә . ұ Q1 ә Σ Q2 ққ қғ ғ қ ұң қғ S ү ұң қғ . ұң ұ , қғ ү ұ. ұ ғ Q1, Q2 ү ң : Q1 Q2. ү:
2. , S ү қ ә Q ү ө ү ң . Q ң, ұ ә ү өң ә ғң . ғң ұқң ң ұ , ә үңғ қ қққ ә d(,) . d(,)≤πr, .
ң , ғ d(,) ғң ұғ. ғғ ү ұң α, ң ұғ ρ(,) . :
(1)
үұ :
(2)
(1), (2) (3)
3. ң қғ ң ө қ , ғ ө қғ f:S→S .
F, ң ө S ң қғ , .
4. S ғғ , , ү ү қ. ү қ, ң әқ , , ү қ, ң ү, ұ үң ң .
ү ң қ ө , , қ үұ . Ү ңң , , ғ ( ң ) қ үұң қғ .
ұ ң ққ үұғ ә ө.
5. қ үұ қ. * Q(,) ү ңң [Q(B,C), A] . ә қ *, * ү .
*, *, * қ үұ қ үұқ қғ қ .
ұ ң қ үұқ ә ө.
1.V қ ң R ө ү n+1 ө қ ң . π:V\{0}→E , :
1) π ;
2) ;
қғ, ≠ ң n-ө ң .
|
|
V қ ң ғқ, Sn ң қққ ұғ . r ң . 1, 2 ү , 1, 2 үң ғ қққ ,
(1)
қғ δ(1, 2) . r>0 Sn ң ққғң .
ө, Sn ң n ң , қ V қ ңң ү ұғ ә ғ ө (1) Sn қққ қ ү .
(1) f ңң ү ң үң ққғ қ ғ. ұ ү Sn ңң қғ .
2. n=2 ғ - ққ. S2 қққ ққ .
Ү ө 3 ң ү ң қ. , ү өң - ә, 3ң өң V ө ң - ө .
S2 үұң :
ұғ ε=++-π үұң ғ.
, S2 үұ :
++>π.
3. S2 ққң ққ. S2 ққ ү ө V қ ң ғ, ғ ң ө ққ ң ө қ.
2=P(V) ққ ққ Q қғ: ()=0, ұғ ()= , ұ ү ғ ғ . ұ ғ V қ ң ү, ғ ң ө, , қ қ V ңң ққ ү қ. , 2 ққ ү , Q ққң Q ө (ө) қ .
V ң қ. 2 ққң . ,
,R Q ққ ң қ:
ұ Q-ң ққ ө.
4. ққң ққ:
1) 3 ң r- ң Q ң қ қ-қ ү; қққ
қ.
2) Q ққ ( ққң ) 2 ққ ә HQ ө ғ ү ғ ; қққ
|
|
қ.