1) . , . , .. : - + L→2 + L -
2) .
:
L - + 2 → L -
3)
. :
L - + L → L + L -
4) 2
.
, , , .
. 3() :
1) . .
2) . .
3) .
. . . 2() : 1) , ; 2) , .
: (., ), , .
: 4 :
1) , , . - . .
2) . .
3) . . -.
. , . .
4) , <. . . : , , , ( ).