- 4


. , , , .

.

- . . ­ .

: :

:= 0 = 0

b := + 1 b ' = + 1 = 1

b := b + 1 b " = b' + 1 = 2

:

:= 0 - 0;

b := b + 1 - b b + 1.

:

= 0 - 0;

b' = b + 1 - b' b + 1.

b - - ­, b. ­ . , b: = b + 1 ­ b

b', b + 1, b - b.

. - , . .

- , , .