. () , . () (), ().
, , : ; ; , ; ; ; . .
, , . , .
, .
: , .
) , , . , , , .
, , ( ), . . , : = Σ + ( )
) : (), ( ), (). , , (..), , . . :
= m + + ( )
, , .
) , , : (. . () + (Q)); (I); (. . () ()):
|
|
= + Q + I + ( )
.
()
( ) (Σ q1p1) ( ) (Σq1p0). : . :
) = -------------------------------------
) =
= ( ) ( ),
) = --------------------------------------------
() .
()
() = --------------------------------------------
()
, , .
, . , .