> >
<<
>>
<< >>

10. -

, (. 9), , -4.

(, ), .

- DEF, DEFOBS COND ( LOGICAL 1). DEF X , DEFOBS - : , ( ). DEF .FALSE., X , .TRUE., X . DEFOBS .FALSE., , .TRUE., . COND, .TRUE., , ( , ).

. COVAR, :

8.2 , , , ( ) ( ). (8.1) (8.2), . 8.2 , . (27) . .

( -) X (. . ), , .

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

, , 6.5 ( SWEEP2). [Clarke (1982)], : -, [Clarke (1982)] , -, .

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

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

(. )

<< >>