, :
;
, , ( );
( ) , ;
, , , ..
;
, , .
Ȕ
: , , , . - , , ().
, , .
. , , , , , , .
. , , , .
- .
, () .
:
, :
, , ;
;
( );
;
() .
|
|
:
, :
- (), , ;
- () - , ;
- , , - ;
- , , ( );
(: S - , P - , - , R - , , );
(, , , , , , .).
- | S P |
:
: S P S P
"
"
S P,
S = ; = " "; "" , .
" , ", : " ". S P
" , " (S1 R S2),
S1=""; S2 = "" ();
R = "" ();
M = "" ( ).
:
( , ); ( ) ;
;
(, , , , );
.
1.
" , , , "
: A L B L C à D A B C, D
= " ";
= " ";
= " ";
D = " "
2.
" , , "
: ( L D L E) à (B L C) A D E, B C
|
|
= " ";
= " ";
= " ";
D = " ";
= " "
3.
" , , , "
: A à B L C à D L E
( A, B C), D E
= " ";
= " ";
= " ";
D = " ";
= "
"
() , , .
- , | S S S S S 1, S 2 S 2 S 1 (1=> P2) & P2 => P1 1 2 2 1 (B1 V B2) & B2 => B1 |
. , - ( ), .
:
, ,
, ,
,
, , ,
.
1. .. / .. . - .: , 1994. . 14.
2. : : . . / . . - .: , 1995. . 32, 52-54