, , S , .
- , S S, .. S- , - - S . . : →I; I→; →; I→I; →.
(): S л.
(I): S.
(I): S л.
(): S.
(): S л.
(): S.
(I): S л.
(I): S.
(): S л.
(): S.
: .
, , .
λ , .
: - . , - .
- , , - , . : . : →; →; I→; →I.
(): S л.
(): S -л.
(): S л.
(): S -л.
(I): S л.
(): S -л.
(): S л.
(I): S -л.
: .
, .
, . , .
: .
, .
. - , , , , .
- ,
.
, , .
, , I, : 1) , , . I, . , , ; 2) , , , , .
|
|
.
- , - .
: .
- .
, .
: S ( ) ( ); , , . , . : ; . - .
- , ( ) , , ( ) , .
: , S , S .
: .
().
, .
() , (), (S) (), (S) , ().
. - . .
1. .
: .
.
.
, , , , .
: .
.
, - .
- . , - , : , .. , , - , . , - .
: . - .
, .
.
2. . , .
: .
.
, .
. , , .
|
|
: . - .
, .
, , S , .
3. , , .
: .
.
.
, . , .. , , , . .. S , .. , - , .
: - .
- .
- .
.
1. .
: .
.
,....
, S .
2. - , .
: .
.
, .
3. . , .
: .
.
, .
4. - , .
: - .
- .
, - .
. , , .