, , , , / -, . , , , .
, , - . , , .
, , , . , . , , , . . , . . , .
, , -, - , . [R1]i(S)n[R2], -, , , .
, - . , , . mR, , .
[F]i(S)n[M] , . -mF . -mM .
- , , , , , , , . - . ( ), . , . , , , - , , , .
|
|
, . , . , . , ( ) : () () ( ). , , .
, , , .
, ( ) ( ). , ( ) ( ).
. , . : . , , , , [F]i(S(i=o))→(S)n[R]. , »- .
, , , , »- , - , - .
S(a1...) -, . , . . .
|
|
, , .
. . , , . , .
. , . .
. , ; , , , . , .
. . , , . , , , . , , , , , . .
. , . . . : , . : , (. , ). ( ) , , - ; , , , . .
, , . , , . , , , : [S]i () [S]n ().
|
|
.
, , ? . , , , , . . , , , , : , : . . , , , . , , : , . , , , . .
, , (F , T , S - ).
(F) (T), (S) (F), (S) (T). (S) (T), (F) (T'), (F) (T'). (F) (T'), (S) (T'). , (T'), (F) (T) ..
- , - . . . , . , . : (S) (T), (F) (T'), (F) (T'). , . , : , . , - . , .
|
|
. [S]i(S(i=0))→(S)n[S] ( ). : (S) (T). S S : . S : , , , . , - . , .
: . , , - . . . , , . , : , .
? , . , , , , . [159].
S1
S2
[S2]i(S1) , i=0→i=n
[S2]n(S1) , .
: , , ? (F), , (T). [F]i(S)n[T] [F]n(S)r[T]Ú[F]n(S)n[T], , . , . , , . , . , : , .
. , : , , ?. , : , , ?
. () , , , , , , . () , , () , : , . »- .
|
|
, . O1 , O2 , - a1 , , b1 . : .
?:
1)
[O1(a1...)]i(O1(a1))dr[O'1(a'1,a'2)]i(O'1(a'1,a'2))
[O1;O2(b1...)]i(O1;O2(b1))dr[O1;O2(O1,b1,b2)]i(O1();O2(O1,b1,b2)())
[O1;O2(b1...)]i(O1;O2(b1))dr[O1;O2(O1,b1,b2)]i(O1();O2(O1,b1,b2)())
?
, ?
.
. - , , : ( ), , ? ( ).
: ? , ? , . - , , .
, , :
1) ( ).
2) ( ).
.
, , , :
1) ( ).
2) ( ).
, . : 1) ; 2) ; 3) , , . .
. . : . : . 1) ; 2) . . , . , , ?
. - , : . , - . , , , .
- , , ? . ? -. , (-), - , (). , .
() () - () . - --, - : , , , , , , , . , ( --) , , ( -).
, , , (), . - , .
, , , . , . , ( ), .
:
1) ;
2) , , ;
3) - .
, . , . , , .
. (S(m)i[N(m=R)]i(R) . ( ), , , , . , (, ), . , . , , , - . , ? , , , , . , , , . . , . , ( , ) , , . .. , , , .
, - . (m=R) , , .. .
, , . . : 1) ; 2) ( ); 3) , , ( ).
, . , / ( / ) , , , . , , : , . , - , -, , . , .
, . .
: , , . - - . : - -. . , , ?, , ?, . - , : () ().
, ( ; ), . (, ). . , - .
, [160]. , . . , , , .
( - ) ( ).
( ) . , - .
, , , , , , .
, , , , , . , - , . , , , , , . , . , .