1. ...3
2. 酅....4
3. 腅..6
1.9
2...10
3...11
12
, , , , .
- , .
, ( ) , , :
1) , ;
2) , .
, . , , .
. : , . : 2n, n - , . .
- , , .
.
1. - "", ", " ", ".
"-" "~".
, , p, q - , , .. - (S P) q - (S P). - , - . q .
, - , .
2. ( ) - . "" ("", "", "", " ") "&" "Λ".
, ( ). , .
3. ( ) - . "".
|
|
" ()" - - -, : () ().
"v"
- , - " "
, , , - .
" v "
- , - " , ".
.
"", " ".
.
4. ( ) - . ", " "→".
" , " - " " (), - " " - ().
, - , - . , , , .
5. ( ) - " , " (" , "). "≡".
. - .
.
, ; . - , , . : " " " , ". ( - , - ), , .
.
. , . : , .
, , . . , .
- , .
, , .
|
|
, , .
, , , .
. , . - , - .
- , , .
, , . , .
, , .
. , , . , . . , " S "; , " S ". , , .
; , , , . , , . , . , . , , . . , , .
1. :
, .
, .
, , .
, .
- .
, .
, .
, . ,
, . , 腻
, , . ,
, . , .
- . .
, . ..,
, . ,
2. , :
, .
( ).
, .
.
, . : . .
( ). : . .
|
|
, . : . .
. : . ,
3. , .
, , . . , , ():
,
1. .. , , 2001.
2. .. . ., 1996.
3. .., .. : .. ., 1995.
4. .., .., .., .. . , , 2005.