<<
>>

6.4. -.

, , , , , .
,
( ) 1(* (* )
.
, , . - . , , Q Q. - Q , , , . . . :
() ( (?) [( Q) ( )].
, , , :
1. Q .
2. , A Q .
3. , A Q .
4. Q .
_ .
1. Q -, Q . Q . Q , ( Q) ( ) (. ). Q ( Q) -> ( ) , ( Q) [( Q)>(HEP)]. , 1 () . , , X == 1 , X , X = 0 , X .
2.
, A Q , . . = 1, A Q = 0. ( Q) = 0. ( ) = 0, ( Q) = 1, [( Q) ->
( )] = 0. ( -> ( )} = 0, {( ->(?)-> [( Q) ~> ( )]} = 1 . 2 () .
3. = 0 Q = 1. ( Q) = 1, ( ) = 1, ( Q) = 0. [( Q) ( )] = 1. ( Q) = 1 {( Q) ( )] = 1, {( Q) [( Q) ( )]} = 1 . 3 () .
"4, ='0 * - " '{ = 1
) = 1, <(* MJYPA ;FFW* Ȳ
FP-^'{( Q) [{ (?)>(WE P)F . ^, ^ ^-^زز , () ^.
0,4 % . - (,.,.(, , Q () . Q -, , # ( -> Q) > [( Q) ( )] - -. , , (
[( ) ( )] - , , .
, ,
( Q) [ ( Q)).
, Q Q .
1. = 1 Q = 1, ,( (?) = 1, ( Q) = , , [ ( (?)] = ,1. . ( (?) E 1 [ (* (?)] (
[ ( ())]} = 1, .
2. = , Q = 1, ( ~>(?) -.1, ( (?) = 0. = ( (?) = 0, [ (
( ->- J- [ )]!} = 0
. ^ز ^ 8 ^ة*. ^,:˻01^^^^^,^Ϋ & &&ۮ , ɲ^̲,
¯ ^ , - & ^^. ; * ; . ;

/ [(p-+g)-+r]

, , > Q, ,

() [(-* + )

, , Q, . . , , , Qs R , , : 1. 1, Q = 1, R 1, 2. = 1, Q = , R = 0, 3. = 1, Q = , R = 1, 4; = ,. Q = , R = 1, 5. = 0; Q = , R = 1, 6. 0, Q = , R = 0, 7. = 1, Q = 0, R = 0, 8. = 0, Q = 0, R = 0.

, ) .

, , 2. = 1, Q = 1, = 0, , ( Q) = 1, a (Q ) = 0. ( Q) = 1, = 0, [( ->- ] = 0. [( -. (?) -> ] = 0 ( . , , ' , , .

, * - ^ , Q, R, S, , .

. 16 . , , 2 . -, , , , , , , : 1. , , . , , , , . . . , , , , . , . , , , , , . . , , - . , , (), ( )

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

2. , . , , , , , .

<< | >>
: . . . . , . , 517. 1979

6.4. -.:

  1. 5.3. .
  2. 6.3. .
  3. 6.4. -.
  4. 6.5. ( ).
  5. 7.4. .
  6. 2.
  7. 3. .
  8. 5.5.3.
  9. Ż
  10. III. 12.1.
  11. 7
  12. ܲ
  13. -
  14. .
- -
- , , - - - , - - - - - - - - - - , - , - -