3) [2] ().
- − .
: S 1 S 2 , ( ) , , (true) (false) .
, − , (. 9.2).
, .
. 9.2.
, , .
: B (TRUE) ( ), S 1; B (FALSE) S 2 (. 9.3). .
, S 2, B, (. 9.4), .
. 9.3. | . 9.4. |
, , .
( ) , : (. 9.5) (. 9.6).
. .
λ(. 9.5) . λ , .
9.6 . , B , , S.
: ; ; . .
, (. 9.7) , . , , . 9.7 , , i i i i . , 1.
|
|
. 9.5. -λ ( ) | . 9.6. -( ) | . 9.7. ( ) |
, : , .