: , ( ) , ( ). .. = + .
, . .
( , , ), . , , . , . ( , ; , , , ..). . . , . : , .
. , .
(1) ( , , , );
(2) ( );
(3) ;
(4) .
, :
1) , , .
2) , (, ).
3) , .
3. . , . , ( , , -, ).
:
1) , : . , .. , . . : . , ( , , , ).
|
|
2) . . : , , . : ( ) . , , , . , . , : (, ) (, ). . , . , . , , . . .
3) . S→R. , S → R=S → R=S →R=S → →R (, , , , , , , . , , , ) ( , , ( ), , , , , , , , , ). , , , , .
. ( ; , ; , ) ( ) ( , ). . : .
|
|
(, ) , . , ( ), ( ). , . .
( () ). , ( , , ), . : , . , .
( ), ( , ).
:
ü .
ü , .
ü . . , . , . . .
:
1. : , , (S R). , - . , , , : , , ( ). .
2. . .
3. . - . , .
.
:
1) . , . : , , , ..
:
1. ().
2. (, ). ( ).
, , . . : .
2) , .. . , , . ( ): , : .
|
|
. . , . 1911 12 . 18 : , , , , , , , , , , , , , , , , , (, ..). , . : , . . . S → → R. S R , ; . , .
, . , . , - , , , . , , . . , , . , , , , .
, . . . , , , . .
, , , . , . , . , , . , , . , .