S, B, L .

.

.

.

, .. , .

QSr = > Sr

: - .

- .

Q => Qo => QSr

Q .

Q .

QSr .

- . : , Sq.

, , . : . .

: , . , : , . , , .

: (), , . , . , .

.

{r}0; 0 =f ({r})

r .

, . , .

.

, , . .

, .

, . , , , - .

, : , - , , , .

:

1. , , , .

2. , , .

3. , .

.

, , :

) ( );

) .

, : , , ( ), .

, . - . - .

. , .

, .. . . . , , , .