.


:




:

































 

 

 

 


.




. .

, . R, . . : Str = <, R>.

: , .

:

(4)

 

I , .. ;

R , .. ;

, .. , .

:

 

(5)

 

S ();

, .. ;

, .. , , , ..;

, .. .

M T (): = <, >.

, R, , D.

.

: , ; , ().

3 . , - .

 

3 -

 

 
 
 
  ,
 

 

, . () . - , , , .. , , ..

, , -, ( , . .). , (-) , , .

, .

, . ( ) , . , , , ( 4).

, , . , - .

4 -

 

-

 

, , , . 5 , . . , n , n- Rn. , . = <, R1sn,..., Rnsn > , R isi, i = 1, 2,..., ; R is1,..., Rnsn . , si 2 (, n) R2, si = 3 (al, , ) R3 ..

, . = < Ec, R1s1,..., Rnsn > Bd= <Ed, T1s1,..., Tksk> f: c ** Ed, Risi Tjsj , si = rj (ek1, k12,..., ksi) 6 Ris , (f (ek1), f (ek2),..., f (ksi)) Tjrj. , B1 = <{(1), (2)}, {(1, 2), (3, 3)}> 2 = <{(b1), (1)}, {(1,b1), (b1, b2)}>, f = {(1, 1), (1, b 1), (3, b 2)}.

 

5 -

 

Str=<E,R> Str'= <E',R'>
        S=Str Str'= S
Str=<E,R> Str'=<E',R'> E' = E,R' = R
        S=Str Str'=S Str'= <E',R'>E' = E, R' = R
- E=ei Str'= <E',R'>E' = E

 

: , . , . , , . . , , - .

, , . , , , , .. . .

, () . . . , . . .

, , .

, .. . . , , . . . .

, . . .

7 Ra 0,6 (, , ). , . . .

, 3...6 13- , 30...50 7- 25 , , . , 1.

. , . , . . , .

. . , . .





:


: 2016-12-18; !; : 381 |


:

:

.
==> ...

1554 - | 1478 -


© 2015-2024 lektsii.org - -

: 0.014 .