, . , ( , ). , , ( ). , : , .
, . . , , ; , .
: , , , , .
: L,
>0, , αL |α|, α α=β, 0<|β|, α =βi, αLi0.
, , L={nbn| n>0} .
, , . α = nbn α=β. β+ βb0+, i=0 β0= L, ; β+b+, i=2 β2=ββ L. , L .
-
3.1. -.
-
- () , G(VT,VN,P,S), : β, AVN βV*, V=VTVN.
- (-).
- :
R(Q,V,Z,,q0,z0,F),
Q ; V ; Z ( ), VZ; , Q(V{})Z P(QZ*); q0Q ; z0Z ; FQ .
|
|
- (), ( ). , . , : , ( ) .
- . 3.1.
. 3.1. (-)
- (q,α,)QV*Z*, q, α () . α (β,n), βV* , nN{0}, n0 .
(q,aα,z) (q,α,γ), (q,γ)(q,a,z), q,qQ, aV{}, αV*, zZ{}, γ,Z*. () , , , . . , ( ). () - (-). , z=, .
- , .
-, , (q0,α,z0), αV*. (q,,), qF, Z*.
- () , , , , , . ( -). .
, -, , . , - R, L(R). - , . - R1 R2 , L(R1) = L(R2).
|
|
- , , (q,,), qF. - R, , : L(R). - -, . - R:
- R, L(R) = L(R).
- -.
- . -, , - , . - Q(V{})Z* P(QZ*).
, - - ( , - -). , - - .