.


:




:

































 

 

 

 


:




 

, , , , / -, . , , , .

, , - . , , .

, , , . , . , , , . . , . . , .

, , -, - , . [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]. , . . , , , .

( - ) ( ).

( ) . , - .

, , , , , , .

, , , , , . , - , . , , , , , . , . , .

 





:


: 2016-10-06; !; : 731 |


:

:

, .
==> ...

1566 - | 1338 -


© 2015-2024 lektsii.org - -

: 0.041 .