, , , .. , , . , .. . / , . , / .
, . , , , . .
, , ( "").
, , , (, ).
, , , , ( , ..).
5.2.1 ""
/ . ( ), .
', (. 5.1). , . ' , , . EK DK .
. 5.1. . |
, , , , . , :
1) :
;
, , , , ;
|
|
, , ;
, , ;
, , ;
2) :
6 8 , ;
, , , , ('! @ # $ % ^ &*() _ + - = { } [ ] \: "; < >?,. /), , , ;
, , , , , ;
;
, (, , ..) , , , , ;
, ;
3) :
, ;
, , ;
, . . , , .
-, , - , .
. , a (.). , .
, a (.) :
a () = P (ID),
; ID ; , .
, . a () a' ().
|
|
, . . , a () , : a () = Å (ID), ID .
, a () a' () (. 5.2). a () a' () , . , , , , , .
. 5.2. . |
, , - . .
: P 1, P 2,, Pi, , Pn. (P 1 , P 2 ..). , - .
:
;
, - .
, , , . P , a (.) , a i (P.) = a (a ( a (P))) a (.) i , : P 1 = a n (P), P 2 = a n1 (P),, Pn 1 = a (a (P.)), Pn = a (P).
, a () , ( ) ( ).
, , . . "". , . , , , . , -, - ..
. ( . , ). . . . 5.3.
.
1. , ID .
2. , ID, .
|
|
3. S PG (S).
4. S.
5. S, a (.).
6. a (S) .
7. , a' (S) a (S). , .
. 5.3. ( A B). |
, . , .
, .