, , ( ).

, , : c, , , , , , .

, , , , , ( ).

() ( ).

, , , , , , .

.

, :

- Q , .

m , , :

m = Q Re , m : {qi} Re ( ) (2.2)

, , , , .

( m ~ P) , (m) , (). (2.2) Re (Se), , , , . .

(S) => S : Q Se S : {qi} Se

, , () .

.

, . . . . , :

• (, , );
• ;
• ;
• ()

.

:

- ;

- ;

- ;

- ;

- .

:

1. ;

2. ;

3.

= < {n}, {g}, {V x} >

= < {m}, {g}, {V *} >

, . () ().

(), . , .

, , . .

.

, .

:

• ;
• ;
• ;
• (, , ..)

() , , , .

.

{O} C {m}

C , .

. . , .

, .

, .

.

, , ( ), .

.

. , , , . : , , , .

.

:

1. , .

2. , , .. , , .

3. :

, , .