. .
, . 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.
. , . , . . , .
. . , . .