. , , . , , , .
, . , , . . , , , .
, , , .. .
(), .. , , , , , . : . .
(.4.7)
.4.7.
, (4) (1) (2), (3). , . . , . .4.8.
.4.8. () ()
, , 1, 2 3, . , , , , : 1 , 2 +, 3 . , (1 3), , : . , (2), : , ( ). , , .. , , . , (.. ) , .
|
|
, ( ) :
" " , , 1 3.
1, : 5 1', : 4 1, , , 1 1' . , (..4.9), : ( ) 1 1', 1' 1 .
.4.9.
, , , (Err), (wG, wT ..), (Eps):
[4.1]
, .
, 2, , (G T), (G, T X), . , , .
, , (..4.10).
.4.10. ,
2-3-4-2 ( ), , : 4, 5 7. 3-4-3 ( ), , 5 6. , 5 , , . , , . ( ), .
|
|
, ( ):
1. , ;
2. , , .
, , , .. , . , , .
4.3.
, .
. , : . , .. , , , , , .
, " ", .. , - . ( ), . , : .
- , . , , , , .. , , .
, , , . .
, . .
, . . , .
.