, , , . (. 3.3).
. 3.3
. , . , , .
. . 1958 .
(. 10.4) , . , , , : , , , .
:
) . , ;
) , , .
. 3.4 -
1970- . 70- 80- .
.
1973-1975, 1978-1980 , :
;
;
;
;
;
.
. 3.5 -
AS1 → AS2. : P1 → P2 Q1 → Q2, , .
1988 70- 80- . , :
1981-1982 , , ;
|
|
;
1986-1988 15 . ;
1982-1988 , .
AS2 , (. . ).
, , , .
, 1973-1975, 1978-1980 , 1982-1988 , . , , , , , , .
:
( );
( , , ).
. 3.6 -
A1 B1. B1 , . B1 A2 . . . , PCLR , . , , . , .
, , , . A1 → B1 , , PC1, PC2 . 1 2.
, - .
3.4 .
, .
. 3.7
:
|
|
) , , ;
) .
, , , .
(.). :
1) P1;
2) P1.
1 Qf P1. , P1 P2. , . Q2, 1 2 AS(P1).
P1 P3, , , ( 3). , .
. 2 AS(P1), , . . AS(P1) AS(P2). AS(P2) , P2. 2 1. .
P1 P3 . 3. P3, , ( ), . AS(P3) , C1. 1, 1, 1 . , Qf.
.
, . , .
. 3.8
AD AD1 AD2, .
Qf Q2 P1 P2. , , , , P3.
, ; .
.
. , : , .
. . . . , . , .
|
|
, . ,
, .
:
1. , , .
2. , , .