, , -. , (, ).
- , , . . . ( ) .
- hK() - , , - (), (. 1).
= hK() . , , - , , . ' , .
, . . . . , , . .
. , - - , , .
. 2 - . - h() -, , , , . . = h(M, ). , , , - h(). ' .
:
K hK;
;
|
|
1 tA , (2) 3 rA .
3 :
←: r; (1)
→ : rA, h(rA, r, ); (2)
← : h(rA, r, ); (3)
, (3) . SKID 3.