.
.
, , .
:
, .
, .
(w), , , m, (n):
.
, , :
1) :
? =| |;
2) ( ):
? w =| p|.
, , . . .
: , . , .
, ?2 w(l w) . , , .
:
1) :
?2 .
2) ( ):
?2 , S2, , .
|
|
. : :
S2 .
, ; , .
, . .
.
, , , , .
.
.
. , , . .
, .
() , ( ) () .